- var search = top.location.search;
- search = search.slice(1);
- var args = search.split("&");
- var cicuri = "-1", theoryuri = "-1", mode = "-1";
- for (var i = 0 ; i < args.length ; i++) {
- var couple = args[i].split("=");
- switch (couple[0]) {
- case "cicuri" : cicuri =couple[1]; break;
- case "theoryuri" : theoryuri =couple[1]; break;
- case "mode" : mode =couple[1]; break;
- }
- }
- if (cicuri == "-1") cicuri = getDefaultParam("cicuri");
- if (theoryuri == "-1") theoryuri = getDefaultParam("theoryuri");
- if (mode == "-1") mode = getDefaultParam("mode");
-
- document.links[2].href =
- document.links[2].protocol + '//' +
- document.links[2].host +
- document.links[2].pathname +
- "?getterURL=" + getGetterURL();
-
- document.links[3].href =
- document.links[3].protocol + '//' +
- document.links[3].host +
- document.links[3].pathname +
- "?processorURL=" + getUwoboURL() +
- "&getterURL=" + getGetterURL();
-
- var topurl =
- chopSlash(chopSlash(
- document.location.protocol + '//' +
- document.location.host +
- document.location.pathname));
- document.links[4].href =
- getUwoboURL() + "apply" +
- "?keys=RT" +
- "¶m.topurl=" + topurl +
- "&xmluri=" +
- escape(
- topurl + "/html/library/index.html" +
- "?cicuri=" + cicuri +
- "&theoryuri=" + theoryuri +
- "&mode=" + mode +
- "&processorURL=" + getUwoboURL() +
- "&getterURL=" + getGetterURL() +
- "&draw_graphURL=" + getDrawGraphURL() +
- "&uri_set_queueURL=" + getURISetQueueURL() +
- "&UNICODEvsSYMBOL=" + getUNICODEvsSYMBOL()
- );
+ return '¶m.processorURL=' + escape(getUwoboURL()) +
+ '¶m.getterURL=' + escape(getGetterURL()) +
+ '¶m.uri_set_queueURL=' + escape(getURISetQueueURL()) +
+ '¶m.draw_graphURL=' + escape(getDrawGraphURL()) +
+ '¶m.proofcheckerURL=' + escape(getProofCheckerURL()) +
+ '¶m.searchengineURL=' + escape(getSearchEngineURL()) +
+ '¶m.rdflyURL=' + escape(getRdflyURL()) +
+ '¶m.interfaceURL=' + escape(getInterfaceURL()) +
+ '¶m.naturalLanguage=' + escape(getNaturalLanguage()) +
+ '¶m.uri_set_size=' + escape(getMaxGraphSize()) +
+ '¶m.UNICODEvsSYMBOL=' + escape(getUNICODEvsSYMBOL());