/**
* Unregister all PCI devices from the device manager.
*/
public void stopDevice() throws DriverException {
// Stop & unregister all PCI devices
DeviceManager devMan;
try {
devMan = InitialNaming.lookup(DeviceManager.NAME);
} catch (NameNotFoundException ex) {
throw new DriverException("Cannot find device manager", ex);
}
for (PCIDevice dev : devices) {
log.debug("Stopping and unregistering device " + dev.getId());
try {
devMan.unregister(dev);
} catch (DriverException ex) {
throw new DriverException("Driver exception during unregister",
ex);
}
}