better handling of exceptions when session expired
[unfold.git] / manifold / util / __init__.py