Skip to content

Commit d6cec91

Browse files
authored
Add return (#42)
1 parent 8753082 commit d6cec91

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

JShellAPI/src/main/java/org/togetherjava/jshellapi/service/JShellSessionService.java

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -57,6 +57,7 @@ void notifyDeath(String id) {
5757
}
5858
if (!shellService.isClosed()) {
5959
LOGGER.error("JShell Service isn't dead when it should for id {}.", id);
60+
return;
6061
}
6162
LOGGER.info("Session {} died.", id);
6263
}

0 commit comments

Comments
 (0)