rem: DoNotify.done++; 
add: DoNotify.done = 1; 
context: function DoNotify(){	if (NotifyEnable) {/* 		post("notifying\n"); */		notifyclients();		DoNotify.done = 0;	} else		DoNotify.done++;}
meta: 6421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6421/4403778a7a5993b6dfbfa7adf48ff3e5d9443a5d/ej.function.js/buggy/ejies-jsui/ej.function.js