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

Signed-off-by: Etienne CHAMPETIER <etienne.champetier@free.fr>

diff --git a/admin/monit/patches/001-fix-default-piddir.patch b/admin/monit/patches/001-fix-default-piddir.patch
new file mode 100644 (file)
index 0000000..c20079e
--- /dev/null
+++ b/admin/monit/patches/001-fix-default-piddir.patch
@@ -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