add: pollInterval = false; } 
context: function clearPollInterval(){    if (pollInterval)        window.clearInterval(pollInterval);}
meta: 7608	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7608/1f806f2473ac43b4f5ef1ce89cf8d86cb5dfe6eb/tasks.js/clean/web/js/tasks.js