1 files changed, 5 insertions, 1 deletions
diff --git a/boot.php b/boot.php
index 9048223bf..8460d76c6 100755
--- a/boot.php
+++ b/boot.php
@@ -1571,13 +1571,17 @@ function proc_run($cmd){
 		$args[$x] = escapeshellarg($args[$x]);
 
 	$cmdline = implode($args," ");
-	if(get_config('system','proc_windows'))
+	if(is_windows())
 		proc_close(proc_open('cmd /c start /b ' . $cmdline,array(),$foo));
 	else
 		proc_close(proc_open($cmdline." &",array(),$foo));
 }
 
 
+function is_windows() {
+	return ((strtoupper(substr(PHP_OS,0,3)) === 'WIN') ? true : false);
+}
+
 
 function current_theme(){
 	$app_base_themes = array('redbasic');