- support being called as either /etc/init.d/plc or /etc/init.d/plc-devel
authorMark Huang <mlhuang@cs.princeton.edu>
Mon, 17 Jul 2006 21:30:33 +0000 (21:30 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Mon, 17 Jul 2006 21:30:33 +0000 (21:30 +0000)
commit89d82e004b53b03da4d2a73d7f9982333711b6ff
tree2d88993478148aff82be328ce66f6121a773b40a
parent3aada9269bba6c8ae2f50170b8e691945a4d779b
- support being called as either /etc/init.d/plc or /etc/init.d/plc-devel
- pass "reload" onto guest plc initscript
host.init