X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fdefaults.js;fp=helm%2Fon-line%2Fjavascript%2Fdefaults.js;h=f6abf7f875984de5bdf6f08e8592415860e2b629;hb=d70d5de1ec9ccc86c9df45036245af34c37575ea;hp=0000000000000000000000000000000000000000;hpb=99d60351f793983bb7633334ea59e95feb36c72c;p=helm.git

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
new file mode 100644
index 000000000..f6abf7f87
--- /dev/null
+++ b/helm/on-line/javascript/defaults.js
@@ -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 "???";
+}
+