send SIGINT to systemd worker so that it can do the cleanup

archlinuxcn · May 8, 2024 · 4154053 · 4154053
1 parent bfbc3c3
commit 4154053
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lilac2/systemd.py b/lilac2/systemd.py
@@ -142,7 +142,7 @@ def poll_rusage(name: str, deadline: float) -> tuple[RUsage, bool]:
   finally:
     if timedout:
       logger.debug('killing worker service')
-      subprocess.run(['systemctl', '--user', 'kill', '--signal=SIGKILL', name])
+      subprocess.run(['systemctl', '--user', 'kill', '--signal=SIGINT', name])
     logger.debug('stopping worker service')
     # stop whatever may be running (even from a previous batch)
     subprocess.run(['systemctl', '--user', 'stop', '--quiet', name])