From 50d677811edb91fa240651d913ea3c779ea3c387 Mon Sep 17 00:00:00 2001
From: Michael Prokop <mika@grml.org>
Date: Sun, 13 May 2012 17:58:42 +0200
Subject: [PATCH] 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
---
 sbin/debnet | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sbin/debnet b/sbin/debnet
index e1e811f..fcee25b 100755
--- 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."
-      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
-- 
2.1.4