| 1320 | } |
| 1321 | |
| 1322 | async killBuilderDevServer(pid: number) { |
| 1323 | const { debug } = output; |
| 1324 | debug(`Killing builder dev server with PID ${pid}`); |
| 1325 | const shutdownCb = this.shutdownCallbacks.get(pid); |
| 1326 | this.shutdownCallbacks.delete(pid); |
| 1327 | |
| 1328 | if (shutdownCb) { |
| 1329 | debug(`Running shutdown callback for PID ${pid}`); |
| 1330 | await shutdownCb(); |
| 1331 | return; |
| 1332 | } |
| 1333 | |
| 1334 | try { |
| 1335 | await treeKill(pid); |
| 1336 | debug(`Killed builder dev server with PID ${pid}`); |
| 1337 | } catch (err) { |
| 1338 | debug(`Failed to kill builder dev server with PID ${pid}: ${err}`); |
| 1339 | } |
| 1340 | } |
| 1341 | |
| 1342 | async send404( |
| 1343 | req: http.IncomingMessage, |