X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fdefaults.js;h=c8f89a77e5817739f0e2b64e9169047fe9948aca;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=db3172cfea6986ab1accbbe5d2b41f3bc8f97bf8;hpb=4d6d34c2fa9efdc0b033e2e8bdffd8492f876f57;p=helm.git

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
index db3172cfe..c8f89a77e 100644
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -6,10 +6,12 @@ function getDefaultParam(name)
     return "http://mowgli.cs.unibo.it:8081/helm/servlet/uwobo/";
   case "getterURL":
     return "http://mowgli.cs.unibo.it:48081/"; 
-  case "draw_graphURL":
-    return "http://phd.cs.unibo.it:8083/"; 
   case "uri_set_queueURL":
-    return "http://phd.cs.unibo.it:8084/"; 
+    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":