handle Windows proc_run

diff --git a/boot.php b/boot.php
index ef13d1fa69fa39296bbd5f32e7ecce53e317713b..7e76f332a977bd7029cddc90e867edcf43a6b9f3 100644 (file)
--- a/boot.php
+++ b/boot.php
@@ -1476,7 +1476,10 @@ if(! function_exists('proc_run')) {
                        $args[$x] = escapeshellarg($args[$x]);
 
                $cmdline = implode($args," ");
-               proc_close(proc_open($cmdline." &",array(),$foo));
+               if(get_config('system','proc_windows'))
+                       proc_close(proc_open('start /b ' . $cmdline,array(),$foo));
+               else
+                       proc_close(proc_open($cmdline." &",array(),$foo));
        }
 }