Michael Gatto committed c7da97d Merge

Merge pull request #6 from lornajane/platform-detect

Use PHP_OS rather than to guess platform

Comments (0)

Files changed (1)


         $executables = array();
         /* Set the binary name per platform */
-        //@todo use PHP_OS (best), php_uname('s'), $_SERVER['OS']
-        switch ($_SERVER['OS']) {
-            case 'Windows_NT':
-                $binary = 'hg.exe';
-                break;
-            default:
-                $binary = 'hg';
-                break;
+        if(substr(strtolower(PHP_OS), 0, 3) == "win") {
+            $binary = 'hg.exe';
+        } else {
+            $binary = 'hg';
         if (null !== $path) {
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.