fix ui/eval pool.destroy as well

pull/6882/head
Niklas Fiekas 2020-06-27 12:09:24 +02:00
parent a5ea0fc7fb
commit 1c6df4ff98
1 changed files with 1 additions and 1 deletions

View File

@ -138,7 +138,7 @@ export class Pool {
this.workers.forEach(w => w.stop());
}
destroy(): void {
destroy = () => {
this.stop();
this.workers.forEach(w => w.destroy());
}