X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fdefaults.js;h=c8f89a77e5817739f0e2b64e9169047fe9948aca;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=f6abf7f875984de5bdf6f08e8592415860e2b629;hpb=97829180b4bc5a72291eeb8156b15b3922f07048;p=helm.git

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
index f6abf7f87..c8f89a77e 100644
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -3,15 +3,23 @@ function getDefaultParam(name)
 {
   switch (name) {
   case "processorURL":
-    return "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/";
+    return "http://mowgli.cs.unibo.it:8081/helm/servlet/uwobo/";
   case "getterURL":
-    return "http://phd.cs.unibo.it:8081/"; 
+    return "http://mowgli.cs.unibo.it:48081/"; 
+  case "uri_set_queueURL":
+    return "http://mowgli.cs.unibo.it:48082/"; 
+  case "draw_graphURL":
+    return "http://mowgli.cs.unibo.it:48083/"; 
+  case "proofcheckerURL":
+    return "http://mowgli.cs.unibo.it:48084/"; 
+  case "UNICODEvsSYMBOL":
+    return "symbol";
   case "cicuri":
     return "cic:/";
   case "theoryuri":
     return "theory:/";
   case "mode":
-    return "processed,cic,html,yes,no";
+    return "processed,cic,html,yes,no,normal,no";
   }
   
   return "???";