diff --git a/client/bin/disco-fs-mount b/client/bin/disco-fs-mount index b6f9981..393e9b6 100755 --- a/client/bin/disco-fs-mount +++ b/client/bin/disco-fs-mount @@ -17,8 +17,6 @@ rm -rf ${DISCOROOT}/restricted/bin/* # Prepare all the mountpoint directories mkdir -p ${DISCOROOT}/chroot mkdir -p ${DISCOROOT}/execs/bin -mkdir -p ${DISCOROOT}/proc/proc -mkdir -p ${DISCOROOT}/sysfs/sys mkdir -p ${DISCOROOT}/rootfs mkdir -p ${DISCOROOT}/scratchfs mkdir -p ${DISCOROOT}/dev/dev @@ -58,8 +56,6 @@ chmod 666 ${DISCOROOT}/dev/dev/null mount --bind -o ro / ${DISCOROOT}/rootfs 2>&1 | grep -v "seems to be mounted read-write" mount -o remount,ro ${DISCOROOT}/rootfs -mount -t proc -o ro none ${DISCOROOT}/proc/proc -mount -t sysfs -o ro none ${DISCOROOT}/sysfs/sys # Setup filesystem layers. The read/write ones go on the top, with scratchfs ALWAYS on top. FSLAYERS="${DISCOROOT}/scratchfs=rw" diff --git a/client/bin/disco-fs-unmount b/client/bin/disco-fs-unmount index 81c3fc8..f17dccb 100755 --- a/client/bin/disco-fs-unmount +++ b/client/bin/disco-fs-unmount @@ -9,8 +9,6 @@ if [ $? -ne 0 ]; then fi umount ${DISCOROOT}/chroot -umount ${DISCOROOT}/proc/proc -umount ${DISCOROOT}/sysfs/sys umount ${DISCOROOT}/rootfs mount | grep $DISCOROOT > /dev/null 2>&1 if [ $? -eq 0 ]; then