diff options
Diffstat (limited to 'WebContent')
| -rw-r--r-- | WebContent/VAADIN/vaadinBootstrap.js | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/WebContent/VAADIN/vaadinBootstrap.js b/WebContent/VAADIN/vaadinBootstrap.js index c4617df25c..60f1b02452 100644 --- a/WebContent/VAADIN/vaadinBootstrap.js +++ b/WebContent/VAADIN/vaadinBootstrap.js @@ -101,7 +101,12 @@ // Timestamp to avoid caching url += '&' + (new Date()).getTime(); - var r = new XMLHttpRequest(); + var r; + try { + r = new XMLHttpRequest(); + } catch (e) { + r = new ActiveXObject("MSXML2.XMLHTTP.3.0"); + } r.open('POST', url, true); r.onreadystatechange = function (aEvt) { if (r.readyState == 4) { |