diff options
| -rw-r--r-- | client/src/com/vaadin/client/Profiler.java | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/client/src/com/vaadin/client/Profiler.java b/client/src/com/vaadin/client/Profiler.java index 6230828281..6e8f2f5f9a 100644 --- a/client/src/com/vaadin/client/Profiler.java +++ b/client/src/com/vaadin/client/Profiler.java @@ -532,9 +532,7 @@ public class Profiler { if (typeof $wnd.vaadin.gwtStatsEvents == 'object') { delete $wnd.vaadin.gwtStatsEvents; if (typeof $wnd.__gwtStatsEvent == 'function') { - // IE8 refuses to delete window properties - $wnd.__gwtStatsEvent = undefined; - try { delete $wnd.__gwtStatsEvent;} catch (e) {} + $wnd.__gwtStatsEvent = function(){}; } } }-*/; |