diff options
| author | Etienne CHAMPETIER <etienne.champetier@free.fr> | 2014-06-11 22:02:56 +0200 |
|---|---|---|
| committer | Etienne CHAMPETIER <etienne.champetier@free.fr> | 2014-06-11 23:14:16 +0200 |
| commit | 3eb37a3f523b690693af94ff4db5ad7512ea216c (patch) | |
| tree | a18a64008a53791bae4f7ebe2fb36177dd5676d1 /admin/monit | |
| parent | f0e44cb3da5dd7fd0fdc4f97513848721a5e910b (diff) | |
monit: fix default piddir (if you don't use "set pidfile")
Signed-off-by: Etienne CHAMPETIER <etienne.champetier@free.fr>
Diffstat (limited to 'admin/monit')
| -rw-r--r-- | admin/monit/patches/001-fix-default-piddir.patch | 18 |
1 files changed, 18 insertions, 0 deletions
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 |