Comment 2 for bug 1020179

Revision history for this message
Stéphane Graber (stgraber) wrote :

Serge added the timeout option to the wait() call in the API last week, so once we start rewritting the tools to use the API, we'll get that for free.