rem: if (progress == 100) { pb.stopMonitoring(); window.location = uri+'&op=finished'; } }; 
add: if (progress == 100) { pb.stopMonitoring(); window.location = uri+'&op=finished'; } }; 
context:       var updateCallback = function (progress, status, pb) {        if (progress == 100) {          pb.stopMonitoring();          window.location = uri+'&op=finished';        }      };
meta: 639	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/639/c11cb4ec24479e801076c094f043f2084b344d0c/batch.js/buggy/misc/batch.js