Fixed Windows batch script

Flavius12 · Flavius12 · commit e8a3293fe6e6 · 2018-04-04T14:21:54.000+02:00
diff --git a/phartools.cmd b/phartools.cmd
@@ -4,7 +4,7 @@
 set PHP_PATH=%~dp0\bin\php\php.exe
 
 if exist "%PHP_PATH%" (
-    "%PHP_PATH%" %~dp0\phartools.php %*
+    "%PHP_PATH%" "%~dp0\phartools.php" %*
 ) else (
     echo PHP Executable not found. Please set the right PHP path.
 )

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`set PHP_PATH=%~dp0\bin\php\php.exe`
`5`	`5`
`6`	`6`	`if exist "%PHP_PATH%" (`
`7`		`- "%PHP_PATH%" %~dp0\phartools.php %*`
	`7`	`+ "%PHP_PATH%" "%~dp0\phartools.php" %*`
`8`	`8`	`) else (`
`9`	`9`	`echo PHP Executable not found. Please set the right PHP path.`
`10`	`10`	`)`