Specify whether the error handler should kill the process

We have another hook that takes care of that.