for the old style boot server file, that contains multiple servers,
[bootmanager.git] / source / BootAPI.py
2005-05-26 Aaron Klingamancheck in all bootmanager sources