scheduler.py: Extract timeout to kill as a global variable
1 file changed