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