diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-05-22 14:33:04 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-05-22 14:33:04 -0700 |
| commit | 77d94eb04fad6749788df00e992d97647ec0f61f (patch) | |
| tree | 991f0b67c5f2c70f2ec8bc8ace5f5f36f89c8c38 /src/library_gc.js | |
| parent | 0d4f492e4dc3d02484028e6428c55fab978c7a8b (diff) | |
do not call code-running callbacks if ABORTing; fixes #1191
Diffstat (limited to 'src/library_gc.js')
| -rw-r--r-- | src/library_gc.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library_gc.js b/src/library_gc.js index 2a164250..b3dae0e9 100644 --- a/src/library_gc.js +++ b/src/library_gc.js @@ -26,7 +26,7 @@ if (GC_SUPPORT) { _GC_finalizer_notifier = _malloc(4); setValue(_GC_finalizer_notifier, 0, 'i32'); if (ENVIRONMENT_IS_WEB) { - setInterval(function() { + Browser.safeSetInterval(function() { GC.maybeCollect(); }, 1000); } else { |