Done - also added code to kill processes left over after we time out