add a RuntimeException to MirConfig.getProp(. if the requested property is not found...

diff --git a/source/mir/misc/MirConfig.java b/source/mir/misc/MirConfig.java
index 3c8bfb5..bbf2e3d 100755 (executable)
--- a/source/mir/misc/MirConfig.java
+++ b/source/mir/misc/MirConfig.java
@@ -106,7 +106,12 @@ public class MirConfig extends Configuration {
    * @return a String containing the prop. value
    */
   public static String getProp(String propName) {
-    return (String)configHash.get(propName);
+    String result = (String)configHash.get(propName);
+
+    if (result==null)
+      throw new RuntimeException("config property '"+propName+"' not available!");
+
+    return result;
   }
 
   /**