1 files changed, 0 insertions, 48 deletions
diff --git a/trunk/tools/umount-live b/trunk/tools/umount-live
deleted file mode 100644
index 098c82e..0000000
--- a/trunk/tools/umount-live
+++ /dev/null
@@ -1,48 +0,0 @@
-#!/bin/bash
-#
-### BEGIN INIT INFO
-# Provides: umount-live
-# Default-Stop: 0 6
-# Should-Stop: $remote_fs
-# Short-Description: Umounts live-system-specific mountpoints on
-#halt/reboot
-# Description: This service umounts live-system-specific mountpoints
-#on halt/reboot.
-### END INIT INFO
-
-mypath=$_
-
-case "$1" in
-   *start)
-        ;;
-   *stop)
-        exit
-        ;;
-   *)
-        gprintf "Usage: %s\n" "$(basename $0) {start}"
-        exit 1
-        ;;
-esac
-
-roottype=`awk '$2 == "/" { print $3 }' /etc/fstab`
-
-if [ "$roottype" != unionfs ]; then
-    # disable self during first halt when installed
-    chkconfig --del $(basename $0)
-    #rm -f $mypath
-    exit
-fi
-
-maybe_umount() {
-    eval d=\$$#
-    [ -e $d ] && umount $@
-}
-
-maybe_umount -l /live/distrib
-maybe_umount -l /live/memory
-maybe_umount -l /live/system
-maybe_umount -l /live/media
-
-maybe_umount /var/lib/rpm
-maybe_umount /tmp/rpm/real
-maybe_umount /tmp/rpm