// jenkins batch tests
if (jasmine_config.batch_tuning) {
var sec = mkws.getParameterByName("second", document.location);
// jenkins batch tests
if (jasmine_config.batch_tuning) {
var sec = mkws.getParameterByName("second", document.location);
if (sec && parseInt(sec) >= 100) {
jasmine_config.second = parseInt(sec);
debug("longer timeouts for batch testing: " + jasmine_config.second);
if (sec && parseInt(sec) >= 100) {
jasmine_config.second = parseInt(sec);
debug("longer timeouts for batch testing: " + jasmine_config.second);