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
After the execution of
kernel_generator.py
some docker containers are still executed and are never stopped.