We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 880469b commit 8753082Copy full SHA for 8753082
JShellAPI/src/main/java/org/togetherjava/jshellapi/service/JShellSessionService.java
@@ -86,8 +86,11 @@ public JShellService oneTimeSession(@Nullable StartupScriptId startupScriptId)
86
87
public void deleteSession(String id) throws DockerException {
88
JShellService service = jshellSessions.remove(id);
89
- service.stop();
90
- scheduler.schedule(service::close, 500, TimeUnit.MILLISECONDS);
+ try {
+ service.stop();
91
+ } finally {
92
+ scheduler.schedule(service::close, 500, TimeUnit.MILLISECONDS);
93
+ }
94
}
95
96
private synchronized JShellService createSession(SessionInfo sessionInfo)
0 commit comments