docker-for-win: container with root user is not terminated

[mviereck]

Coming from #103

@1138-4eb wrote:
./x11docker --user=0 -- -p 5555:8080 -- ghdl/ext:ide -p 8080 does work. ./x11docker --user=RETAIN -- -p 5555:8080 -- ghdl/ext:ide -p 8080 too.

But, with both of them, when I Ctrl+C to terminate, the log seems correct, the X server is closed, but the container is not.

I need to docker rm -f x11docker_X100_....

[mviereck]

@1138-4eb I've made a fix that should resolve this. Please try out.

[eine]

It is fixed now. Thanks!