smoother handling of when backend cannot be reached at all
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 17 Sep 2013 08:58:12 +0000 (10:58 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 17 Sep 2013 08:58:12 +0000 (10:58 +0200)
commitb73a8d10b2caf5f40bd354beb5c109b57ef7ad35
treeb65030b12fdf0a459bf4650b6a4779b4c659b3ed
parent80f12b8fb93ab7227bffad8c7aa22020fab007e5
smoother handling of when backend cannot be reached at all
auth/manifoldbackend.py
manifold/manifoldapi.py
manifold/manifoldresult.py
portal/homeview.py