/** * Destroys the running process manually. */ public synchronized void destroyProcess() { ensureStarted(); this.timeoutOccured(null); this.stop(); }
/** * Destroys the running process manually. */ public synchronized void destroyProcess() { ensureStarted(); this.timeoutOccured(null); this.stop(); }