diff options
Diffstat (limited to 'debian/network-manager.dbus-event')
| -rw-r--r-- | debian/network-manager.dbus-event | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/network-manager.dbus-event b/debian/network-manager.dbus-event index 2a59a08e..f18ea28e 100644 --- a/debian/network-manager.dbus-event +++ b/debian/network-manager.dbus-event @@ -73,11 +73,11 @@ d_stop() { # if NetworkManager does not want to die, apply some more force if [ -e $PIDFILE ]; then - kill -9 $(< $PIDFILE) || true + kill -9 $(cat $PIDFILE) || true rm -f $PIDFILE fi if [ -e $NAMED_PIDFILE ]; then - kill -9 $(< $NAMED_PIDFILE) || true + kill -9 $(cat $NAMED_PIDFILE) || true rm -f $NAMED_PIDFILE fi |