--- boost.module	2011-08-27 04:32:54.760890956 +0200
+++ boost.module.working	2011-08-27 04:08:16.496891000 +0200
@@ -454,7 +454,7 @@ function boost_init() {
 
   // Make sure this is the correct domain
   // Only works if $base_url is set in settings.php
-  if (strcmp($parts['host'], strtolower($_SERVER['HTTP_HOST'])) != 0) {
+  if (strcmp($parts['host'], strtolower($_SERVER['SERVER_NAME'])) != 0) {
     $GLOBALS['conf']['cache'] = CACHE_DISABLED;
     $GLOBALS['_boost_cache_this'] = FALSE;
     return;