- change default PLC_DB_NAME to planetlab4
[myplc.git] / plc.d / db
2006-06-23 Mark Huang- add script to bootstrap the db