Added file.separator and path.separator

phingofficial · Jul 7, 2018 · 342b86b · Yousha · Jul 7, 2018 · 342b86b
1 parent 3d1c41e
commit 342b86b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/classes/phing/Phing.php b/classes/phing/Phing.php
@@ -1524,7 +1524,9 @@ private static function setSystemConstants()
         } else {
             self::setProperty(self::PHP_INTERPRETER, getenv('PHP_COMMAND'));
         }
+        self::setProperty('file.separator', PhingFile::$separator);
         self::setProperty('line.separator', PHP_EOL);
+        self::setProperty('path.separator', PhingFile::$pathSeparator);
         self::setProperty(self::PHP_VERSION, PHP_VERSION);
         self::setProperty('php.tmpdir', sys_get_temp_dir());
         if (strtoupper(substr(PHP_OS, 0, 3)) !== 'WIN') {