diff options
| -rw-r--r-- | doc/todo/docker_todo_list.mdwn | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/todo/docker_todo_list.mdwn b/doc/todo/docker_todo_list.mdwn index 2f215a50..9cb9e4da 100644 --- a/doc/todo/docker_todo_list.mdwn +++ b/doc/todo/docker_todo_list.mdwn @@ -8,4 +8,6 @@ are assigned to the container. * It seems that provisionContainer sometimes hangs when the container is already running. This seems likely to be a problem with the simpleSh - socket hack. + socket hack. (I think this was an uncaught exception crashing the + simpleSh server thread, and if so, it's fixed. Waiting some weeks to see, + as this bug rarely occurred..) |