call kill() if we don't catch an exception and we're going to die. should fix #154
call kill() if we don't catch an exception and we're going to die. should fix #154

WIPACrepo/iceprod,WIPACrepo/iceprod,WIPACrepo/iceprod,WIPACrepo/iceprod