3 # production should use https of course
5 # an old-fashioned API - that's what is currently only supported
6 manifold_url = "http://manifold.pl.sophia.inria.fr:7080/"
7 # this one runs a new API, but currently (april 2013) there are missing
8 # features; GetSession and GetPersons are still there (they should go away) and
9 # the code for retrieving metadata does not work as-is, and I have no clue
10 # what it should become anyways, so...
11 # manifold_url = "http://dev.myslice.info:7080/"
13 # exporting these details to js
15 def manifold_js_export ():
16 return "var MANIFOLD_URL = '%s';\n"%Config.manifold_url;