diff options
| -rw-r--r-- | units/emergency.service | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/units/emergency.service b/units/emergency.service index 83b7d72b7b..8745d101c7 100644 --- a/units/emergency.service +++ b/units/emergency.service @@ -17,3 +17,7 @@ StandardInput=tty Restart=restart-always RestartSec=0 KillMode=process-group + +# Bash ignores SIGTERM, so we send SIGHUP first, to ensure that bash +# terminates cleanly. +ExecStop=/bin/kill -HUP $(MAINPID) |