summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOmar Rizwan <omar@omar.website>2023-02-10 00:12:55 +0000
committerOmar Rizwan <omar@omar.website>2023-02-10 00:12:55 +0000
commit7c8cc511aee06d8546a863a40ab87b27abbdf26d (patch)
tree41506cf21b62aee14fefe84a9b41a7229e439995
parentSave and restore virtual program positions to/from disk. (diff)
downloadfolk-7c8cc511aee06d8546a863a40ab87b27abbdf26d.tar.gz
folk-7c8cc511aee06d8546a863a40ab87b27abbdf26d.zip
Use SIGTERM on subprocesses
-rw-r--r--main.tcl2
1 files changed, 1 insertions, 1 deletions
diff --git a/main.tcl b/main.tcl
index a821409c..7351ace3 100644
--- a/main.tcl
+++ b/main.tcl
@@ -272,7 +272,7 @@ proc On {event args} {
fconfigure $stdio -blocking 0 -buffering line
fileevent $stdio readable [list ::rl $pid $stdio]
- On unmatch [list exec kill -9 $pid]
+ On unmatch [list exec kill $pid]
} elseif {$event eq "unmatch"} {
set body [lindex $args 0]