Afri Schoedon 4f2415b483 Fix docker script (#9854) ...

* Dockerfile: change source path of the newly added check_sync.sh (#9869)

2018-11-07 15:53:22 +01:00

..

check_sync.sh

Add readiness check for docker container (#9804)

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

Dockerfile

Fix docker script (#9854)

2018-11-07 15:53:22 +01:00