From 3eb37a3f523b690693af94ff4db5ad7512ea216c Mon Sep 17 00:00:00 2001 From: Etienne CHAMPETIER Date: Wed, 11 Jun 2014 22:02:56 +0200 Subject: [PATCH] monit: fix default piddir (if you don't use "set pidfile") Signed-off-by: Etienne CHAMPETIER --- .../monit/patches/001-fix-default-piddir.patch | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 admin/monit/patches/001-fix-default-piddir.patch diff --git a/admin/monit/patches/001-fix-default-piddir.patch b/admin/monit/patches/001-fix-default-piddir.patch new file mode 100644 index 000000000..c20079e9a --- /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