Attempt to add support for hhvm in ManageMachines take 2, a=chris

diff --git a/lib/crawl_daemon.php b/lib/crawl_daemon.php
index 939e07454..7c118b8c0 100644
--- a/lib/crawl_daemon.php
+++ b/lib/crawl_daemon.php
@@ -224,7 +224,7 @@ class CrawlDaemon implements CrawlConstants
         }
         $php = "php";
         if(isset($_SERVER['SERVER_SOFTWARE']) &&
-            $_SERVER['SERVER_SOFTWARE'] == 'hphp') {
+            $_SERVER['SERVER_SOFTWARE'] == 'HPHP') {
             $php = 'hhvm -f';
         }
         if(strstr(PHP_OS, "WIN")) {