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