chrismattmann closed pull request #119: Fix for #118
URL: https://github.com/apache/drat/pull/119
This is a PR merged from a forked repository.
As GitHub hides the original diff on merge, it is displayed below for
the sake of provenance:
As this is a foreign pull request (from a fork), the diff is supplied
below (as it won't show otherwise due to GitHub magic):
diff --git a/filemgr/src/main/resources/bin/filemgr
b/filemgr/src/main/resources/bin/filemgr
index 867b77c..ce40ef5 100644
--- a/filemgr/src/main/resources/bin/filemgr
+++ b/filemgr/src/main/resources/bin/filemgr
@@ -119,8 +119,8 @@ elif [ "$1" = "stop" ]; then
if [ -f "$FILEMGR_PID" ]; then
kill `cat $FILEMGR_PID` >/dev/null 2>&1
if [ $? -eq 1 ]; then
- echo "ID file ($FILEMGR_PID) found with PID `cat $FILEMGR_PID` but no
matching process was found. Removed $FILEMGR_PID, now FileManager can be
started."
- `rm $FILEMGR_PID`
+ echo "PID file ${FILEMGR_PID} found with PID `cat $FILEMGR_PID` but no
matching process was found. Removed ${FILEMGR_PID}, now File Manager can be
started."
+ rm ${FILEMGR_PID}
exit 1
fi
else
diff --git a/resmgr/src/main/resources/bin/resmgr
b/resmgr/src/main/resources/bin/resmgr
index 7bd9db7..a3ccf5f 100644
--- a/resmgr/src/main/resources/bin/resmgr
+++ b/resmgr/src/main/resources/bin/resmgr
@@ -125,7 +125,8 @@ elif [ "$1" = "stop" ]; then
if [ -f "$RESMGR_PID" ]; then
kill `cat $RESMGR_PID` >/dev/null 2>&1
if [ $? -eq 1 ]; then
- echo "PID file ($RESMGR_PID) found but no matching process was found.
Stop aborted."
+ echo "PID file ${RESMGR_PID} found with PID `cat $RESMGR_PID` but no
matching process was found. Removed ${RESMGR_PID}, now Resource Manager can be
started."
+ rm ${RESMGR_PID}
exit 1
fi
else
diff --git a/workflow/src/main/resources/bin/wmgr
b/workflow/src/main/resources/bin/wmgr
index 854216c..620f845 100644
--- a/workflow/src/main/resources/bin/wmgr
+++ b/workflow/src/main/resources/bin/wmgr
@@ -120,7 +120,8 @@ elif [ "$1" = "stop" ]; then
if [ -f "$WORKFLOW_PID" ]; then
kill `cat $WORKFLOW_PID` >/dev/null 2>&1
if [ $? -eq 1 ]; then
- echo "PID file ($WORKFLOW_PID) found but no matching process was
found. Stop aborted."
+ echo "PID file ${WORKFLOW_PID} found with PID `cat $WORKFLOW_PID` but
no matching process was found. Removed ${WORKFLOW_PID}, now Workflow Manager
can be started."
+ rm ${WORKFLOW_PID}
exit 1
fi
else
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
With regards,
Apache Git Services
