|
|
@@ -101,6 +101,15 @@ public class ProcessMonitor |
|
|
m_timeout = timeout; |
|
|
m_timeout = timeout; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
/** |
|
|
|
|
|
* Utility method to check if process timed out. |
|
|
|
|
|
* Only valid after run() has exited. |
|
|
|
|
|
*/ |
|
|
|
|
|
public boolean didProcessTimeout() |
|
|
|
|
|
{ |
|
|
|
|
|
return ( m_state == STATE_TERMINATED ); |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
/** |
|
|
/** |
|
|
* Thread method to monitor the state of the process. |
|
|
* Thread method to monitor the state of the process. |
|
|
*/ |
|
|
*/ |
|
|
|