mirror of
https://github.com/nuintun/command-manager.git
synced 2025-06-08 12:14:03 +08:00
update files
This commit is contained in:
parent
e81edbd701
commit
a03381aad6
@ -93,6 +93,7 @@ function closeXTerm(name){
|
|||||||
|
|
||||||
if (runtime) {
|
if (runtime) {
|
||||||
runtime.worker.port.postMessage({ action: 'close', name: name });
|
runtime.worker.port.postMessage({ action: 'close', name: name });
|
||||||
|
runtime.worker.port.close();
|
||||||
|
|
||||||
delete AppRuntime[name];
|
delete AppRuntime[name];
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user