diff options
| author | Russ White <russ@riw.us> | 2018-03-30 10:36:34 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-30 10:36:34 -0400 |
| commit | a7f38c2512a89e73730e56820cf204311ab4d91c (patch) | |
| tree | 0c51dfbc8bb2c2fc72d70ef8045642136400631d | |
| parent | fdbbf02a05a4325c27bfe34904625d3e6db2550f (diff) | |
| parent | ac654d7b9db6ba5b9ab933be44890e2136318405 (diff) | |
Merge pull request #1980 from donaldsharp/tools_frr
tools: Cleanup shutdown
| -rwxr-xr-x | tools/frr | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -187,7 +187,7 @@ stop() else PIDFILE=`pidfile $inst` PID=`cat $PIDFILE 2>/dev/null` - ${SSD} --stop --quiet --retry=TERM/30/KILL/5 --oknodo --pidfile "$PIDFILE" --exec "$D_PATH/$1" + kill -2 $PID 2>/dev/null # # Now we have to wait until $DAEMON has _really_ stopped. # |
