Some docker containers never stopped after kernel generator execution

[FabienZa]

After the execution of kernel_generator.py some docker containers are still executed and are never stopped.

user@ubuntu-server:~/tuxml$ docker ps
CONTAINER ID        IMAGE               COMMAND             CREATED             STATUS              PORTS               NAMES
02301babf9d9        tuxml/tuxml:dev     "bash"              40 minutes ago      Up 40 minutes                           nostalgic_antonelli
2aa85aad75a9        082c903f5449        "bash"              5 hours ago         Up 5 hours                              ecstatic_liskov
3bb5d42f3411        082c903f5449        "bash"              6 hours ago         Up 6 hours                              infallible_galois

[alxvqold]

I think this is linked with #23, try without the --logs option to see if the container keeps running

[alxvqold]

What I want to say is that I think it occurs when the script crashes and cannot stop the container.