- check if /plc is mounted before trying to unmount it
authorMark Huang <mlhuang@cs.princeton.edu>
Fri, 7 Apr 2006 17:12:52 +0000 (17:12 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Fri, 7 Apr 2006 17:12:52 +0000 (17:12 +0000)
commit43ae4c224b076605dd426c175e01a08d34fc62fa
tree00bfdd52bf8dd5732319fa30c7c8489f5631c0d3
parenta734f5acf9ea08642131a594382e0360a7c56aa4
- check if /plc is mounted before trying to unmount it
host.init