better handling of exceptions when session expired
authorJordan Augé <jordan.auge@lip6.fr>
Fri, 6 Dec 2013 15:42:07 +0000 (16:42 +0100)
committerJordan Augé <jordan.auge@lip6.fr>
Fri, 6 Dec 2013 15:42:07 +0000 (16:42 +0100)
commit1e05d200f9cdd0c8965f66be87962bf19c9c69e0
tree52e0ad06e41f2e1ccde0c4f00268af12cc6ea93e
parentf26eeb7c431cecfbd3ba6cba4d5dab6eeccc2753
better handling of exceptions when session expired
manifold/manifoldapi.py
ui/topmenu.py