rem: evQ.processPendingEvents(); 
add: thrd.processNextEvent(); 
context: function runEventPump(){    pumpRunning = true;    while (pumpRunning) {        evQ.processPendingEvents();    }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/0318b8c70772f1cef1cd80f8dab2f70f1fd54712/davshell.js/clean/extensions/webdav/tests/davshell.js