helm/on-line/javascript/defaults.js

   1
   2 function getDefaultParam(name)
   3 {
   4   switch (name) {
   5   case "processorURL":
   6     return "http://mowgli.cs.unibo.it:8081/helm/servlet/uwobo/";
   7   case "getterURL":
   8     return "http://mowgli.cs.unibo.it:48081/";
   9   case "uri_set_queueURL":
  10     return "http://mowgli.cs.unibo.it:48082/";
  11   case "draw_graphURL":
  12     return "http://mowgli.cs.unibo.it:48083/";
  13   case "proofcheckerURL":
  14     return "http://mowgli.cs.unibo.it:48084/";
  15   case "UNICODEvsSYMBOL":
  16     return "symbol";
  17   case "cicuri":
  18     return "cic:/";
  19   case "theoryuri":
  20     return "theory:/";
  21   case "mode":
  22     return "processed,cic,html,yes,no,normal,no";
  23   }
  24
  25   return "???";
  26 }
  27