Code a pause/wait - gs.sleep alternative, pause script for specified seconds

 e.g. 10 seconds:

do_sleep(10000); function do_sleep(milliseconds) { var start = new Date().getTime(); for (var i = 0; i < 1e7; i++) { if ((new Date().getTime() - start) > milliseconds){ gs.print('waking up!'); break; } } }