rem: new OperationListener()); 
add: new OperationListener(), null); 
context: function GET(url, filename){    var file = makeFile(filename);    var outstream = createInstance("@mozilla.org/network/file-output-stream;1",                                   "nsIFileOutputStream");    outstream.init(file, 0x02 | 0x08, 0644, 0);    var buffered =       createInstance("@mozilla.org/network/buffered-output-stream;1",                     "nsIBufferedOutputStream");    buffered.init(outstream, 64 * 1024);    davSvc.getToOutputStream(new Resource(url), buffered,                             new OperationListener());    runEventPump();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/535860133aae94c836218734919ff80d6447a02e/davshell.js/clean/extensions/webdav/tests/davshell.js