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.
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.