+++ /dev/null
-
-function getDefaultParam(name)
-{
- switch (name) {
- case "processorURL":
- return "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/";
- case "getterURL":
- return "http://phd.cs.unibo.it:8081/";
- case "draw_graphURL":
- return "http://phd.cs.unibo.it:8083/";
- case "uri_set_queueURL":
- return "http://phd.cs.unibo.it:8084/";
- case "UNICODEvsSYMBOL":
- return "symbol";
- case "cicuri":
- return "cic:/";
- case "theoryuri":
- return "theory:/";
- case "mode":
- return "processed,cic,html,yes,no,normal,no";
- }
-
- return "???";
-}
-