From d81bfb45a0fccea344e2725385a67ccb894b2aa3 Mon Sep 17 00:00:00 2001
From: Dries Buytaert <dries@buytaert.net>
Date: Tue, 22 May 2007 19:56:00 +0000
Subject: [PATCH] - Patch #137724 by JohnAlbin: empty favicon causes duplicate
 page requests.

---
 includes/theme.inc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/includes/theme.inc b/includes/theme.inc
index f8f762185fd..442d91dc95b 100644
--- a/includes/theme.inc
+++ b/includes/theme.inc
@@ -685,6 +685,9 @@ function theme_get_setting($setting_name, $refresh = FALSE) {
       elseif ($settings['favicon_path']) {
         $settings['favicon'] = base_path() . $settings['favicon_path'];
       }
+      else {
+        $settings['toggle_favicon'] = FALSE;
+      }
     }
   }