helm/on-line/javascript/defaults.js

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