From 0861b071e4a895a17dc0b24ca64c82d038a8d172 Mon Sep 17 00:00:00 2001
From: Bruno Thomas <bruno@barreverte.fr>
Date: Wed, 16 Jan 2019 15:42:40 +0100
Subject: [PATCH] [windows] fix access denied

---
 windows/datashare.bat | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/windows/datashare.bat b/windows/datashare.bat
index 74dc075..7ffee1a 100755
--- a/windows/datashare.bat
+++ b/windows/datashare.bat
@@ -1,6 +1,7 @@
 @echo off
 
-docker ps >NULL 2>&1
+docker info 2>NUL
+
 if ERRORLEVEL 1 (
   echo docker is not running, launching it
   start "" "\Program Files\Docker\Docker\Docker for Windows.exe"
@@ -29,7 +30,7 @@ exit /B %ERRORLEVEL%
 :wait_docker_is_up
 echo|set /p="waiting for docker to be up"
 for /l %%x in (1, 1, 60) do (
-  docker ps >NULL 2>&1
+  docker info 2>NUL
   if not ERRORLEVEL 1 (
       echo OK
       exit /B 0