- when unmounting floppy or usb keys, unmount the mount point, not the
authorMark Huang <mlhuang@cs.princeton.edu>
Tue, 21 Jun 2005 21:24:09 +0000 (21:24 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Tue, 21 Jun 2005 21:24:09 +0000 (21:24 +0000)
commite6e349b69285eca5c841d062c6584ce2ddcda613
treeec57e8d12dbcdcc57c720b9088bace7201a72a71
parent31d7681e3bcf0a77a31b374d42d9f3934021f66e
- when unmounting floppy or usb keys, unmount the mount point, not the
  device, which (in the case of the usb key being used for both the boot
  device and the configuration device) may be already mounted.
- loop through all partitions of removable devices looking for
  configuration files.
source/steps/ReadNodeConfiguration.py