Method
checkProcessDied
(childProcess: ChildProcess | undefined)
Source from the content-addressed store, hash-verified
| 181 | } |
| 182 | |
| 183 | private checkProcessDied(childProcess: ChildProcess | undefined): void { |
| 184 | if (!childProcess) { |
| 185 | return; |
| 186 | } |
| 187 | setTimeout(() => { |
| 188 | // Test if the process is still alive. Throws an exception if not |
| 189 | try { |
| 190 | process.kill(childProcess.pid, <any>0); |
| 191 | terminate(childProcess); |
| 192 | } catch (error) { |
| 193 | // All is fine. |
| 194 | } |
| 195 | }, 2000); |
| 196 | } |
| 197 | |
| 198 | protected handleConnectionClosed() { |
| 199 | this._serverProcess = undefined; |
Tested by
no test coverage detected