eventscript: wait for debugging dump before killing timedout script