class Config:
-# manifold_server = 'demo.myslice.info'
- manifold_server = 'debian04.pl.sophia.inria.fr'
- manifold_port = '7080'
- manifold_path = '/'
+ # production should use https of course
+ manifold_url = "http://manifold.pl.sophia.inria.fr:7080/"
+
+ # exporting these details to js
+ @staticmethod
+ def manifold_js_export ():
+ return "var MANIFOLD_URL = '%s';"%Config.manifold_url;