X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fjavascript%2Fdefaults.js;h=2174375dc7d0becf221476d5903bac8ecd449c23;hb=4020414d9bc31b545e311760045d4ce8f0645916;hp=54d51002ff60b7cfccdb7f27e5eff0fb96270dd9;hpb=2238b5779cd8587ad7afaf32d13eba9173fa8473;p=helm.git

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
index 54d51002f..2174375dc 100644
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -6,6 +6,12 @@ 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":