diff options
| author | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2026-08-03 17:59:25 +0200 |
|---|---|---|
| committer | Robin Haberkorn <rhaberkorn@fmsbw.de> | 2026-08-05 00:05:44 +0200 |
| commit | 32cae31cd7074cecbb6300eccb62f937b163745d (patch) | |
| tree | 665b01b41838a1d2091dd6c461b45f4286964ae6 | |
| parent | 66b6992e1b58179567c6bcfade309fb905890001 (diff) | |
gtk-broadway-run.sh: kill broadwayd on SIGINT and SIGTERM as well
| -rwxr-xr-x | gtk-broadway-run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk-broadway-run.sh b/gtk-broadway-run.sh index b09cea4..28c79cf 100755 --- a/gtk-broadway-run.sh +++ b/gtk-broadway-run.sh @@ -18,7 +18,7 @@ BROADWAY_SOCKET=/tmp/gtk-broadway.sock.$$ broadwayd --unixsocket $BROADWAY_SOCKET >/dev/null & BROADWAY_PID=$! -trap "kill $BROADWAY_PID; rm -f $BROADWAY_SOCKET" EXIT +trap "kill $BROADWAY_PID; rm -f $BROADWAY_SOCKET" EXIT INT TERM # Wait for broadway to start up. # broadwayd might also die in the meantime. |