New implementation of the graphs stuff: now every hard-coded URL has

[helm.git] / helm / on-line / javascript / defaults.js

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
index 271f6eabcb8e228401685a4a73746e9a82ba9ffe..2174375dc7d0becf221476d5903bac8ecd449c23 100644 (file)
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -6,14 +6,18 @@ function getDefaultParam(name)
     return "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/";
   case "getterURL":
     return "http://phd.cs.unibo.it:8081/"; 
+  case "draw_graphURL":
+    return "http://phd.cs.unibo.it:8083/"; 
+  case "uri_set_queueURL":
+    return "http://phd.cs.unibo.it:8084/"; 
+  case "UNICODEvsSYMBOL":
+    return "symbol";
   case "cicuri":
     return "cic:/";
   case "theoryuri":
     return "theory:/";
   case "mode":
     return "processed,cic,html,yes,no,normal,no";
-  case "UNICODEvsSYMBOL":
-    return "symbol";
   }
   
   return "???";