diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x[-rw-r--r--] | tools/frrcommon.sh.in | 4 | ||||
| -rwxr-xr-x[-rw-r--r--] | tools/releasedate.py | 0 |
2 files changed, 4 insertions, 0 deletions
diff --git a/tools/frrcommon.sh.in b/tools/frrcommon.sh.in index 4683ceef14..e5286d14f6 100644..100755 --- a/tools/frrcommon.sh.in +++ b/tools/frrcommon.sh.in @@ -194,10 +194,14 @@ daemon_stop() { is_user_root || exit 1 + all=false + [ "$2" = "--reallyall" ] && all=true + pidfile="$V_PATH/$daemon${inst:+-$inst}.pid" vtyfile="$V_PATH/$daemon${inst:+-$inst}.vty" [ -r "$pidfile" ] || fail="pid file not found" + $all && [ -n "$fail" ] && return 0 [ -z "$fail" ] && pid="`cat \"$pidfile\"`" [ -z "$fail" -a -z "$pid" ] && fail="pid file is empty" [ -n "$fail" ] || kill -0 "$pid" 2>/dev/null || fail="pid $pid not running" diff --git a/tools/releasedate.py b/tools/releasedate.py index 3df1ea48fb..3df1ea48fb 100644..100755 --- a/tools/releasedate.py +++ b/tools/releasedate.py |