debnet: drop pump command line (as pump isn't shipped any longer)

Thanks: John S. Skogtvedt <jss@bzz.no> for bugreport and patch
Closes: issue1166

diff --git a/sbin/debnet b/sbin/debnet
index e1e811f..fcee25b 100755 (executable)
--- a/sbin/debnet
+++ b/sbin/debnet
@@ -36,7 +36,6 @@ if ! mount | grep '/mnt ' >/dev/null 2>&1 ; then
 
   if [ -n "$FOUND_DEBNET" ]; then
     einfo "Stopping network."
 
   if [ -n "$FOUND_DEBNET" ]; then
     einfo "Stopping network."

-      pump -k >/dev/null 2>&1

       /etc/init.d/networking stop >/dev/null 2>&1 ; eend $?
     einfo "Copying Debian network configuration from $FOUND_DEBNET to running system."
       rm -rf /etc/network/run
       /etc/init.d/networking stop >/dev/null 2>&1 ; eend $?
     einfo "Copying Debian network configuration from $FOUND_DEBNET to running system."
       rm -rf /etc/network/run