diff --git a/script/production b/script/production index 2299741..e11bc1a 100755 --- a/script/production +++ b/script/production @@ -85,7 +85,7 @@ environments_loop() { } do_running() { - pids=$(cat tmp/pids/thin.*.pid 2>/dev/null || true) + pids=$(sed "s/.*/& /" tmp/pids/thin.*.pid | tr -d '\n' 2>/dev/null || true) # passes if any of $pids exist, fails otherwise kill -0 $pids > /dev/null 2>&1 } -- libgit2 0.21.2