units: kill the emergency shell with SIGHUP

diff --git a/units/emergency.service b/units/emergency.service
index 83b7d72b7b7da7af76018ce27efe00500d50ac59..8745d101c7f78827fc5cbabbb1552d5a55937426 100644 (file)
--- a/units/emergency.service
+++ b/units/emergency.service
@@ -17,3 +17,7 @@ StandardInput=tty
 Restart=restart-always
 RestartSec=0
 KillMode=process-group
 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)