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));
{
var rdfuri = mkRDFURI(uri);
var getterURL = getParam("param.getterURL");
- var url = setParam(location.href,"keys","meta_theory%2CT1%2CT2%2CL%2CE");
+ var url = setParam(location.href,"keys","meta_theory," + unescape(getTheoryKeys()));
url = setParam(url,"xmluri", getterURL + "getxml%3Furi%3D" + rdfuri);
return url;
}