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)

No differences found