playground/unclog
1
0
Fork 0
Code Issues Pull requests Projects Releases 2 Packages Wiki Activity Actions

Increase grace period for process shutdown

Browse source
This commit is contained in:
Armin Friedl 2024-07-09 17:50:49 +02:00
parent b4c252480c
commit 642179da59
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/main.zig
View file

@ -37,7 +37,7 @@ fn kill(pids: []const std.posix.pid_t) void {
for (pids) |pid| { for (pids) |pid| {
if (c.kill(pid, c.SIGTERM) == 0) { if (c.kill(pid, c.SIGTERM) == 0) {
// Wait briefly for process to exit // Wait briefly for process to exit
std.time.sleep(100000000); // 100ms std.time.sleep(500000000000); // ns = 5s
// Check if process still exists // Check if process still exists
if (c.kill(pid, 0) == 0) { if (c.kill(pid, 0) == 0) {