From 9ae8878384d3e73f0597989fb7065b53176e34b0 Mon Sep 17 00:00:00 2001 From: Antonio Terceiro Date: Mon, 20 Apr 2015 11:31:00 -0300 Subject: [PATCH] script/production: fix handling of PID files in status check --- script/production | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/production b/script/production index e11bc1a..3d706e3 100755 --- a/script/production +++ b/script/production @@ -85,7 +85,7 @@ environments_loop() { } do_running() { - pids=$(sed "s/.*/& /" tmp/pids/thin.*.pid | tr -d '\n' 2>/dev/null || true) + pids=$(sed "s/.*/& /" tmp/pids/thin.*.pid 2>/dev/null | tr -d '\n') # passes if any of $pids exist, fails otherwise kill -0 $pids > /dev/null 2>&1 } -- libgit2 0.21.2