the init process in docker cause a lot of defunct processes

[tom-shan]

after start docker with this command:
docker run -it -p 3000:3000 -v "$(pwd):/home/project:cached" theiaide/theia:next
and refresh the page, there are many zombie processes in the process list.
For now the init process(PID is 0) will not wait for it's child processes, so these child processes will not be reaped by the init and remains.

[tom-shan]

According to https://github.com/krallin/tini, we can add a prefix of "/tini", "--" to the ENTRYPOINT in Dockerfile.

[Marc Dumais]

Interesting, thanks @tom-shan for reporting this issue.