in reply to Re: Cannot catch ALRM signal for timeout
in thread Cannot catch ALRM signal for timeout

Ouch! That explains it. Thank you very much, almut!!!
  • Comment on Re^2: Cannot catch ALRM signal for timeout