Merge pull request #73 from traversaro/patch-1

Fix open_url on Windows
rdeits · Nov 19, 2018 · 43bc0cb · 43bc0cb
2 parents 3b46aea + 5fe54d4
commit 43bc0cb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/servers.jl b/src/servers.jl
@@ -11,7 +11,7 @@ end
 function open_url(url)
     try
         if Sys.iswindows()
-            run(`start $url`)
+            run(`cmd.exe /C "start $url"`)
         elseif Sys.isapple()
             run(`open $url`)
         elseif Sys.islinux()