We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8fcdb40 commit 4839767Copy full SHA for 4839767
1 file changed
JShellAPI/src/main/java/org/togetherjava/jshellapi/service/JShellService.java
@@ -207,6 +207,13 @@ private void updateLastTimeout() {
207
208
private void checkContainerOK() throws DockerException {
209
try {
210
+ if(dockerService.isDead(containerName())) {
211
+ try {
212
+ close();
213
+ } finally {
214
+ throw new DockerException("Container of session " + id + " is dead");
215
+ }
216
217
String OK = reader.readLine();
218
if(OK == null) {
219
0 commit comments