]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/graphLinks.js
Problem of URLs too long for I.E. avoided by removing an unuseful parameter
[helm.git] / helm / on-line / javascript / graphLinks.js
index 423d3101f980d12590af959a1a4acf49ab66e007..26ebb2a104220ebda87b6639e8eb07d9bb5da388 100644 (file)
@@ -36,6 +36,11 @@ function mkGraphURL(uri,keys,use_rdf_uri)
    url = setParam(url,"param.CICURI",escape(uri));
    var uri_set_size = document.uri_set_size.elements[0].value;
    url = setParam(url,"param.uri_set_size",uri_set_size);
+
+   // The generated URL is sometimes too long for I.E.
+   // So it is now better to remove some unuseful pararams from the inner URL
+   url = dropParam(url,"param.processorURL");
+
    url = draw_graphURL + 'draw?url=' + escape(url);
    var url2 = setParam(location.href,"keys","MGL,RT");
    url2 = setParam(url2,"xmluri",escape(url));