add a RuntimeException to MirConfig.getProp(. if the requested property is not found...
authormh <mh>
Fri, 20 Dec 2002 02:59:03 +0000 (02:59 +0000)
committermh <mh>
Fri, 20 Dec 2002 02:59:03 +0000 (02:59 +0000)
commit2bc88f97df1ba2a9b9f231ce1aa9a41a029dd258
tree33b2b18f09fde3f4bb59cf353a68e94a6a98f887
parentf7960c16a7f4bfb29bf6ea864ada1a9708207240
add a RuntimeException to MirConfig.getProp(. if the requested property is not found. I know this should be a real Exception, but that is too big a code change for now
source/mir/misc/MirConfig.java