From c676347f710126174fa31bf9a89e6fb4a24e7f87 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Brunner?= <stephane.brunner@camptocamp.com>
Date: Thu, 14 Feb 2019 16:12:57 +0100
Subject: [PATCH] The socket sharing don't works on Windows

---
 docker-run | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/docker-run b/docker-run
index 462219f963f..aeb89852f10 100755
--- a/docker-run
+++ b/docker-run
@@ -78,9 +78,6 @@ def main():
 
     docker_cmd.extend([
         "--rm",
-        "--volume={socket}:{socket}".format(
-            socket="//./pipe/docker_engine" if is_windows else "/var/run/docker.sock"
-        ),
         "--volume={}:/build".format(build_volume_name),
         "--volume={pwd}:/src".format(pwd=os.getcwd()),
         "--env=USER_NAME={}".format(login),
@@ -90,6 +87,9 @@ def main():
         "--env=GIT_HASH={}".format(git_hash),
     ])
 
+    if not is_windows:
+        docker_cmd.append("--volume={socket}:{socket}".format("/var/run/docker.sock"))
+
     if options.home:
         internal_home = "/home/{login}".format(login=login) if is_windows else os.environ["HOME"]
         external_home = os.environ["USERPROFILE"] if is_windows else os.environ["HOME"]