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";
  15   }
  16
  17   return "???";
  18 }
  19