if ($@ and $@ =~ /ALARM_COMMAND_TIMEOUT/) { &writeLog("Killing child process (pid = $childPID)"); kill(1, $childPID); }