Sebastian Siemssen 4ee49f03df Do not use the home directory as the working dir in docker (#9834) ...

* Do not create a home directory.

* Re-add -m flag

2018-11-22 14:15:04 +00:00

..

check_sync.sh

Add readiness check for docker container (#9804)

2018-10-26 13:51:08 +02:00

Dockerfile

Do not use the home directory as the working dir in docker (#9834)

2018-11-22 14:15:04 +00:00