setTimeout: kill previous timer when planting a new one
commitda5ec748b61b604ff93542a44832202ff32fe1b7
authorPetr Baudis <pasky@ucw.cz>
Sat, 4 Nov 2006 23:53:04 +0000 (5 00:53 +0100)
committerPetr Baudis <pasky@machine.or.cz>
Sat, 4 Nov 2006 23:53:04 +0000 (5 00:53 +0100)
tree24be5163f94a4a1df9469d6e997933ab7ec05acc
parent74997f772cacaf6f62d4ca3f54586f7e92f26426
setTimeout: kill previous timer when planting a new one

Otherwise if the page installs multiple timers the old one would live
on unreferenced and possibly (likely) trigger after the document's death
and everything would go to hell.
src/ecmascript/ecmascript.c