fix: docker on win#434

Merged

endarova merged 2 commits intomasterfrom

endarova/fix_win_docker

Nov 12, 2019

Commits on Nov 11, 2019

start docker only if needed. Don't stop docker on win.
endarova
committed

Commits on Nov 12, 2019

Merge branch 'master' into endarova/fix_win_docker
endarova
authored