use plc_config.php values to pick default bootcd, otherwise choose last
authorStephen Soltesz <soltesz@cs.princeton.edu>
Tue, 13 Apr 2010 16:12:39 +0000 (16:12 +0000)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Tue, 13 Apr 2010 16:12:39 +0000 (16:12 +0000)
commit57f416508ed554a5715807f75c7fd4f2ee2d9eee
tree3e746067248ae2c70fb465f79d1a89c11e051403
parentb62910bcf599bf6a373d55c6584d84f4d1f7c20d
use plc_config.php values to pick default bootcd, otherwise choose last
directory listed by "ls -d /usr/share/bootcd*"
application/controllers/download.php