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