= servlet: don't leak exceptions while handling exceptions, fixes #586