Ooops - it's called exec_timeout