Imported Debian patch 1.0.7-15

[nfs-utils.git] / debian / nfs-common.init

diff --git a/debian/nfs-common.init b/debian/nfs-common.init
index 76ceaca2819ff141590043761fae63c09d21b17a..f90ee9a64467b2b7ba6b8592fd1bca2b9409ee9b 100755 (executable)
--- a/debian/nfs-common.init
+++ b/debian/nfs-common.init
@@ -113,6 +113,14 @@ do_mount() {
     return 0
 }
 
     return 0
 }
 

+do_umount() {
+    if mountpoint -q "$1"
+    then
+       umount "$1"
+    fi
+    return 0
+}
+

 # See how we were called.
 case "$1" in
   start)
 # See how we were called.
 case "$1" in
   start)


@@ -180,6 +188,7 @@ case "$1" in
        printf " statd"
        start-stop-daemon --stop --oknodo --quiet \
            --name rpc.statd
        printf " statd"
        start-stop-daemon --stop --oknodo --quiet \
            --name rpc.statd

+       do_umount $PIPEFS_MOUNTPOINT

        echo "."
        ;;
 
        echo "."
        ;;