updater now has the logic to turn itself off and back on (although for now only in...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 11 Apr 2013 17:34:37 +0000 (19:34 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 11 Apr 2013 17:34:37 +0000 (19:34 +0200)
commit69867d5296684463d3aad4f6db867d24005102aa
tree3a13205284761a9fa62f6039a2830a725571c4ea
parentc234f555055c2b891f20970b5af38187d2116f87
updater now has the logic to turn itself off and back on (although for now only in case the backend fails, as that's all I could get today)
+ various tweaks all over the place
manifold/js/manifold.js
manifold/manifoldapi.py
manifold/manifoldquery.py
manifold/manifoldresult.py
plugins/hazelnut/hazelnut.js
plugins/querycode/querycode.py
plugins/updater/updater.js
plugins/updater/updater.py
trash/pluginview.py
unfold/page.py