Exclude ExitRequest from error handling

- Don't try to handle ExitRequest exception with error handling
  so that we're able to break out from a run loop with
  interactive shell.
- Fixes #624
This commit is contained in:
Janne Valkealahti
2023-01-18 09:03:03 +00:00
parent 90010a94ea
commit 25d249c28d

View File

@@ -265,7 +265,7 @@ public class Shell {
finally {
Signals.unregister("INT", sh);
}
if (e != null) {
if (e != null && !(e instanceof ExitRequest)) {
try {
CommandHandlingResult processException = processException(commandExceptionResolvers, e);
processExceptionNonInt = processException;