From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 28 May 2004 12:32:39 +0000 (+0000)
Subject: defaults.js no longer in use
X-Git-Tag: pre_subst_in_kernel~58
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0560aae5f22121762204eeeb22c13c3a57a7eacc;p=helm.git

defaults.js no longer in use
---

diff --git a/helm/on-line/javascript/Makefile b/helm/on-line/javascript/Makefile
index 33ab1ed1c..874bf8674 100644
--- a/helm/on-line/javascript/Makefile
+++ b/helm/on-line/javascript/Makefile
@@ -1,5 +1,5 @@
 
-TARGETS = defaults.js_xml helmjsmenu.js_xml
+TARGETS = helmjsmenu.js_xml
 
 .SUFFIXES:
 .SUFFIXES: .js .js_xml
diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
deleted file mode 100644
index c8f89a77e..000000000
--- a/helm/on-line/javascript/defaults.js
+++ /dev/null
@@ -1,27 +0,0 @@
-
-function getDefaultParam(name)
-{
-  switch (name) {
-  case "processorURL":
-    return "http://mowgli.cs.unibo.it:8081/helm/servlet/uwobo/";
-  case "getterURL":
-    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,normal,no";
-  }
-  
-  return "???";
-}
-