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 "cicuri":
  10     return "cic:/";
  11   case "theoryuri":
  12     return "theory:/";
  13   case "mode":
  14     return "processed,cic,html,yes,no,normal,no";
  15   case "UNICODEvsSYMBOL":
  16     return "symbol";
  17   }
  18
  19   return "???";
  20 }
  21