Ticket #2963: env-clearTimeout-patch.diff

---

File env-clearTimeout-patch.diff, 0.3 KB (added by h3, May 30, 2008 12:36PM UTC)

Index: env.js
===================================================================
--- env.js	(revision 5709)
+++ env.js	(working copy)
@@ -76,7 +76,7 @@
 		return num;
 	};
 	
-	window.clearInterval = function(num){
+	window.clearTimeout = window.clearInterval = function(num){
 		if ( timers[num] ) {
 			timers[num].stop();
 			delete timers[num];

Download in other formats:

Original Format