Now raises an exception if config file does not exist (used to silent…

…ly ignore)
aldycool · Oct 28, 2014 · 808e666 · 808e666
1 parent 9c7afe1
commit 808e666
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/dpwe_builder.py b/dpwe_builder.py
@@ -45,12 +45,14 @@
 
 # Parse input file
 import ConfigParser
+import errno
 config = ConfigParser.ConfigParser(defaults)
 section = 'dpwe_builder'
 config.add_section(section)
 
 if config_file:
-    config.read(config_file)
+    if len(config.read(config_file)) == 0:
+        raise IOError(errno.ENOENT, "Cannot read config file", config_file)
 
 density = config.getint(section, 'density')
 fanout = config.getint(section, 'fanout')

diff --git a/dpwe_matcher.py b/dpwe_matcher.py
@@ -60,7 +60,8 @@
 config.add_section(section)
 
 if config_file:
-    config.read(config_file)
+    if len(config.read(config_file)) == 0:
+        raise IOError(errno.ENOENT, "Cannot read config file", config_file)
 
 density = config.getint(section, 'density')
 fanout = config.getint(section, 'fanout')