- allow command-line override of PLC_ROOT and PLC_DATA
authorMark Huang <mlhuang@cs.princeton.edu>
Mon, 27 Mar 2006 22:01:36 +0000 (22:01 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Mon, 27 Mar 2006 22:01:36 +0000 (22:01 +0000)
commitc8addc71030c6159f0f99fa39ab3aa2dc4eadbe6
tree5b6343ded8a775b3ffa52c05c8eba13624837880
parentfc7dbe3a34d3d5276a3f016ab77691e89836423d
- allow command-line override of PLC_ROOT and PLC_DATA
- check /proc/mounts more carefully to avoid mounting the image twice
host.init