context:     this.continueCommandExecutionWithDelay = function() {        // Get the interval to use for this command execution, using the pauseInterval is        // specified. Reset the pause interval, since it's a one-off thing.        var interval = this.pauseInterval || this.getCommandInterval();        this.pauseInterval = undefined;        // Continue processing        if (interval >= 0) {            window.setTimeout("testLoop.finishCommandExecution()", interval);        }    };
meta: 3428	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3428/ed2c8a04823b08b4112b9e08d6cbf9962ca6c66f/selenium-executionloop.js/buggy/code/javascript/selenium-executionloop.js