pci: no parsing errors if no config file

2024-12-20 06:07:59 +00:00 · 2013-08-19 10:59:50 +02:00 · 2013-08-19 10:59:50 +02:00 · a478213872
commit a478213872
parent 338c49da23
1 changed files with 3 additions and 0 deletions
--- a/os/src/drivers/pci/pci_session_component.h
+++ b/os/src/drivers/pci/pci_session_component.h
@ -336,6 +336,9 @@ namespace Pci {
 			{
 				using namespace Genode;

+				/* check for config file first */
+				try { config(); } catch (...) { return; }
+
 				try {
 					unsigned i;