mb/bdmgrdts
1
Fork 0
Code Pull requests Releases Activity

nginx #2

Merged
mb merged 10 commits from nginx into master 2024-02-04 00:37:33 +01:00
Conversation 0 Commits 10 Files changed 10 +3 -1
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 4acf870e7b - Show all commits

4
instance/src/lib/utils.ts
View file

@ -60,7 +60,9 @@ export function loop_process(
const kill_sig = channel<"kill">(); const kill_sig = channel<"kill">();
kill_sig.receive().then(() => { kill_sig.receive().then(() => {
control.do_continue = false; control.do_continue = false;
control.child_process?.kill(); try {
control.child_process?.kill();
} catch (_) { /* isok */ }
}); });
async function launch() { async function launch() {
while (control.do_continue) { while (control.do_continue) {