Bug fixing: now the link to the graphs produce extended URIs

[helm.git] / helm / on-line / html / library / control.html

diff --git a/helm/on-line/html/library/control.html b/helm/on-line/html/library/control.html
index 5c68710e10569c6b11360d9b4c63824db7d314f3..5d353fc0d8b4f4e376f7bd0a73ef89fc4109489d 100644 (file)
--- a/helm/on-line/html/library/control.html
+++ b/helm/on-line/html/library/control.html
@@ -60,6 +60,8 @@
 <![CDATA[
        top.processorURL = getParam2('processorURL');
        top.getterURL = getParam2('getterURL');
+       top.draw_graphURL = getParam2('draw_graphURL');
+       top.uri_set_queueURL = getParam2('uri_set_queueURL');
        top.UNICODEvsSYMBOL = getParam2('UNICODEvsSYMBOL');
        top.topurl = getParam2('topurl');
        top.mode = getParam2('mode');
@@ -77,7 +79,7 @@
        var mode_list = mode.split(',');
        if (mode_list[0] == "raw") {
          outputCheckbox(document, "updateCompressed(this)",
-          "&nbsp;Compressed", mode_list[5] == "yes");
+          "&nbsp;Compressed", mode_list[5] == "gz");
          outputCheckbox(document, "updateDTDPatched(this)",
           "&nbsp;Resolve DTD URL", mode_list[6] == "yes");
         } else {