Cleanup worker on dispose

martinRenou · martinRenou · commit 9084f3edaeed · 2022-06-21T14:30:41.000+02:00
diff --git a/src/xeus_server_kernel.ts b/src/xeus_server_kernel.ts
@@ -136,6 +136,9 @@ export class XeusServerKernel implements IKernel {
     if (this.isDisposed) {
       return;
     }
+    this._worker.terminate();
+    (this._worker as any) = null;
+    (this._remote as any) = null;
     this._isDisposed = true;
     this._disposed.emit(void 0);
   }

Original file line number	Diff line number	Diff line change
`@@ -136,6 +136,9 @@ export class XeusServerKernel implements IKernel {`
`136`	`136`	`if (this.isDisposed) {`
`137`	`137`	`return;`
`138`	`138`	`}`
	`139`	`+ this._worker.terminate();`
	`140`	`+ (this._worker as any) = null;`
	`141`	`+ (this._remote as any) = null;`
`139`	`142`	`this._isDisposed = true;`
`140`	`143`	`this._disposed.emit(void 0);`
`141`	`144`	`}`