fix NullPointerException in krun shutdown hook
Merge pull request #408 from dwightguth/npe

fix NullPointerException in krun shutdown hook