]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/templateambigpdq3.html
* New release of the client-side interface.
[helm.git] / helm / searchEngine / html / templateambigpdq3.html
index aa6ba6b6e6fd7882e993b95682aaee6d89e9c709..6a6a17b96771b89afd6dd68cb5bb79ac83a3498a 100644 (file)
@@ -6,7 +6,8 @@
                        for (i=0; i<aliases.length; i++) {
                                top.aliasglob[i] = aliases[i];
                        }
-                       top.window.open(top.topurl+"/getpage?url=editorpdq.html", "sw");
+                       top.vlds=new Array();
+                       top.window.open(top.topurl+top.action+"editorpdq.html", "sw");
                </script>
        </head>
        <body>