tree 5bf491f07c9933272b03f908a9b80b92d4b84544
parent 8255e4da710a487b42e5a2367dd4533bd12b94ce
author Marc Kupietz <kupietz@ids-mannheim.de> 1425640629 +0100
committer kupietz <kupietz@ids-mannheim.de> 1425678422 +0100

Terminate gracefully if krill.properties is not found

Change-Id: Id9764ec9b81cc5c3412d912e8ac6d74cdc284b57