]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq2.html
Pending changes in the checked-out repository committed. Ask Zack for
[helm.git] / helm / searchEngine / html / templateambigpdq2.html
index 71fe4365649c4e48d3e38280441a511e40c930a6..525e69459527cc8d1a2e29f14dd12aef62bfcb7c 100644 (file)
@@ -6,11 +6,11 @@ labels = new Array(@INTERPRETATIONS_LABELS@);
 function armageddon()
        {
        top.initialize();
-       top.window.open(top.topurl+"/getpage?url=start.html","qw");
-       top.window.open(top.topurl+"/getpage?url=blank.html","cw");
-       top.window.open(top.topurl+"/getpage?url=blank.html","hw");
-       top.window.open(top.topurl+"/getpage?url=blank.html","gw");
-       top.window.open(top.topurl+"/getpage?url=blank.html","sw");
+       top.window.open(top.topurl+top.action+"start.html","qw");
+       top.window.open(top.topurl+top.action+"blank.html","cw");
+       top.window.open(top.topurl+top.action+"blank.html","hw");
+       top.window.open(top.topurl+top.action+"blank.html","gw");
+       top.window.open(top.topurl+top.action+"blank.html","sw");
        }
 function resetta()
        {
@@ -45,7 +45,6 @@ function invia()
                }
        if (stringa.length!=controllo) 
                {
-               alert(stringa);
                window.open(stringa,"cw");
                }
                else {alert("You must choose one option.");}