[wpkg-users] [Bug 222] Terminate timed out processes

[bugzilla-daemon at bugzilla.wpkg.org]

http://bugzilla.wpkg.org/show_bug.cgi?id=222

Rainer Meier <r.meier at wpkg.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |r.meier at wpkg.org
         Resolution|                            |FIXED

--- Comment #2 from Rainer Meier <r.meier at wpkg.org>  ---
I've just commited an update which should include your change:

FIX: Fixed termination of processes if timeout is reached.
     Fixes bug 222. Thanks to Stefan Pendl.


Note that I think your initial proposal would not work as the finally block is
never reached if return is used from within the timeout-detection loop:

if (count >= timeout) {
  return -1;
}


So I've changed it to use exception handling:

if (count >= timeout) {
  throw new Error("Timeout reached while executing.");
}

-- 
Configure bugmail: http://bugzilla.wpkg.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.