- var uri_set_size =
- use_default_uri_set_size ? -1 : document.uri_set_size.elements[0].value;
- if (uri_set_size > 0)
- url = setParam(url,"param.uri_set_size",uri_set_size);
+ 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");
+