diff options
-rw-r--r-- | src/appMain/core.sh | 2 | ||||
-rw-r--r-- | src/appMain/core_external_proprietary.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/appMain/core.sh b/src/appMain/core.sh index 1ea1747f1f..a8e7d8c82c 100644 --- a/src/appMain/core.sh +++ b/src/appMain/core.sh @@ -46,7 +46,7 @@ function core_stop() { if [ -f "$CORE_PID_FILE" ]; then rm $CORE_PID_FILE fi - return $RET + return $RESULT } if [ x$1 == xstop ]; then diff --git a/src/appMain/core_external_proprietary.sh b/src/appMain/core_external_proprietary.sh index dbc2452869..2bad41011d 100644 --- a/src/appMain/core_external_proprietary.sh +++ b/src/appMain/core_external_proprietary.sh @@ -47,7 +47,7 @@ function core_stop() { if [ -f "$CORE_PID_FILE" ]; then rm $CORE_PID_FILE fi - return $RET + return $RESULT } function pm_install_dependencies() { |