diff --git a/JShellAPI/src/main/java/org/togetherjava/jshellapi/service/JShellSessionService.java b/JShellAPI/src/main/java/org/togetherjava/jshellapi/service/JShellSessionService.java index d3ba81a..521e0b2 100644 --- a/JShellAPI/src/main/java/org/togetherjava/jshellapi/service/JShellSessionService.java +++ b/JShellAPI/src/main/java/org/togetherjava/jshellapi/service/JShellSessionService.java @@ -57,6 +57,7 @@ void notifyDeath(String id) { } if (!shellService.isClosed()) { LOGGER.error("JShell Service isn't dead when it should for id {}.", id); + return; } LOGGER.info("Session {} died.", id); }