Don't use deprecated catch-if.

See also: https://bugzilla.mozilla.org/show_bug.cgi?id=1228841
This commit is contained in:
YUKI Hiroshi 2015-12-01 11:27:50 +09:00
parent ac33dbccb5
commit 17526f7940

View File

@ -218,12 +218,14 @@ var TreeStyleTabBookmarksServiceEditable = inherit(TreeStyleTabBookmarksService,
this._doProgressivelyTimers[name] = window.setTimeout(progressiveIteration, interval); this._doProgressivelyTimers[name] = window.setTimeout(progressiveIteration, interval);
} }
} }
catch(e if e instanceof StopIteration) { catch(e) {
if (e instanceof StopIteration) {
aParams.onComplete(); aParams.onComplete();
} }
catch(e) { else {
Components.utils.reportError(e); Components.utils.reportError(e);
} }
}
finally { finally {
this._doProgressivelyTimers[name] = null; this._doProgressivelyTimers[name] = null;
} }