From 8f3d176f7eb54252888fceb0ff378a58dedb656b Mon Sep 17 00:00:00 2001 From: Steve Wills Date: Mon, 3 Jun 2013 13:32:53 +0000 Subject: [PATCH] - Fix pidfile issues PR: ports/179145 Submitted by: Mark Felder (maintainer) --- net-mgmt/devmon/Makefile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/net-mgmt/devmon/Makefile b/net-mgmt/devmon/Makefile index bb53fec6aa76..6a3512a109bd 100644 --- a/net-mgmt/devmon/Makefile +++ b/net-mgmt/devmon/Makefile @@ -3,7 +3,7 @@ PORTNAME= devmon DISTVERSION= 0.3.1-beta1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= net-mgmt MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTVERSION} @@ -26,12 +26,17 @@ SUB_LIST= USERS=${USERS} \ OPTIONS_DEFINE= MYSQL +REINPLACE_ARGS= -i '' + .include .if ${PORT_OPTIONS:MMYSQL} USE_MYSQL= yes .endif +post-patch: + @${REINPLACE_CMD} -e 's|/var/run/devmon.pid|/var/run/devmon/devmon.pid|g' ${WRKSRC}/devmon.cfg ${WRKSRC}/modules/dm_config.pm + pre-install: (cd ${WRKSRC} && ${MV} devmon.cfg devmon.cfg.dist)