don't always populate the Docker container pool when loading the environment but only when starting the server
don't always populate the Docker container pool when loading the environment but only when starting the server

openHPI/codeocean,flxw/codeocean,openHPI/codeocean,flxw/codeocean,flxw/codeocean,openHPI/codeocean,openHPI/codeocean,torpedro/codeocean,flxw/codeocean,torpedro/codeocean,flxw/codeocean,openHPI/codeocean,torpedro/codeocean,torpedro/codeocean,torpedro/codeocean,openHPI/codeocean