More crawl_daemon tweaking, a=chris

diff --git a/lib/crawl_daemon.php b/lib/crawl_daemon.php
index 76d50118b..1014ab495 100644
--- a/lib/crawl_daemon.php
+++ b/lib/crawl_daemon.php
@@ -217,8 +217,10 @@ class CrawlDaemon implements CrawlConstants
             }
         }
         $php = "php";
-        if(isset($_SERVER['_']) &&
-            stristr($_SERVER['_'], 'hhvm')) {
+        if((isset($_SERVER['_']) &&
+            stristr($_SERVER['_'], 'hhvm')) ||
+           (isset($_SERVER['SERVER_SOFTWARE']) &&
+            $_SERVER['SERVER_SOFTWARE'] == "HPHP")) {
             $php = 'hhvm -f';
         }
         if(strstr(PHP_OS, "WIN")) {