monit: fix default piddir (if you don't use "set pidfile")

Signed-off-by: Etienne CHAMPETIER <etienne.champetier@free.fr>
This commit is contained in:
Etienne CHAMPETIER 2014-06-11 22:02:56 +02:00
parent f0e44cb3da
commit 3eb37a3f52
1 changed files with 18 additions and 0 deletions

View File

@ -0,0 +1,18 @@
--- a/configure
+++ b/configure
@@ -13555,14 +13555,7 @@ fi
# Find the right directory to put the root-mode PID file in
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking pid file location" >&5
$as_echo_n "checking pid file location... " >&6; }
-if test -d "/run"
-then
- piddir="/run"
-elif test -d "/var/run"; then
- piddir="/var/run"
-elif test -d "/etc"; then
- piddir="/etc"
-fi
+piddir="/var/run"
cat >>confdefs.h <<_ACEOF