Reduce chance of needlessly rescheduled Delayed calls

marijnh · marijnh · commit 632bca3d7212 · 2019-10-09T11:27:32.000+02:00
Issue #5993
diff --git a/src/util/misc.js b/src/util/misc.js
@@ -37,7 +37,7 @@ export class Delayed {
   }
   onTimeout(self) {
     self.id = 0
-    if (self.time < +new Date) {
+    if (self.time <= +new Date) {
       self.f()
     } else {
       setTimeout(self.handler, self.time - +new Date)

Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ export class Delayed {`
`37`	`37`	`}`
`38`	`38`	`onTimeout(self) {`
`39`	`39`	`self.id = 0`
`40`		`- if (self.time < +new Date) {`
	`40`	`+ if (self.time <= +new Date) {`
`41`	`41`	`self.f()`
`42`	`42`	`} else {`
`43`	`43`	`setTimeout(self.handler, self.time - +new Date)`