]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/defaults.js
This commit was manufactured by cvs2svn to create branch 'start'.
[helm.git] / helm / on-line / javascript / defaults.js
diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
new file mode 100644 (file)
index 0000000..f6abf7f
--- /dev/null
@@ -0,0 +1,19 @@
+
+function getDefaultParam(name)
+{
+  switch (name) {
+  case "processorURL":
+    return "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/";
+  case "getterURL":
+    return "http://phd.cs.unibo.it:8081/"; 
+  case "cicuri":
+    return "cic:/";
+  case "theoryuri":
+    return "theory:/";
+  case "mode":
+    return "processed,cic,html,yes,no";
+  }
+  
+  return "???";
+}
+