From fbc20ab19d94e26d79eafea5bffb1b31d78f8f09 Mon Sep 17 00:00:00 2001
From: Steve Clay <steve@mrclay.org>
Date: Thu, 13 Oct 2011 11:57:05 -0400
Subject: [PATCH] github issue 7 fix

---
 min/lib/HTTP/Encoder.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/min/lib/HTTP/Encoder.php b/min/lib/HTTP/Encoder.php
index 49bedd7..534d648 100644
--- a/min/lib/HTTP/Encoder.php
+++ b/min/lib/HTTP/Encoder.php
@@ -318,6 +318,9 @@ class HTTP_Encoder {
      */
     public static function isBuggyIe()
     {
+        if (empty($_SERVER['HTTP_USER_AGENT'])) {
+            return false;
+        }
         $ua = $_SERVER['HTTP_USER_AGENT'];
         // quick escape for non-IEs
         if (0 !== strpos($ua, 'Mozilla/4.0 (compatible; MSIE ')