From 61074c1a15e5a55034db31bbbc1879632406029e Mon Sep 17 00:00:00 2001
From: Barracuda <omega8cc@gmail.com>
Date: Wed, 10 Nov 2010 12:14:16 +0100
Subject: [PATCH] Add $cookie_domain directly in the settings.php template, since it will not work if defined in the included file.

---
 platform/provision_drupal_settings.tpl.php |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/platform/provision_drupal_settings.tpl.php b/platform/provision_drupal_settings.tpl.php
index 0e0f454..66f3d54 100644
--- a/platform/provision_drupal_settings.tpl.php
+++ b/platform/provision_drupal_settings.tpl.php
@@ -77,6 +77,7 @@
   * try commenting out the code below or specifying the cookie domain by hand.
   */
   if (isset($_SERVER['HTTP_HOST'])) {
+    $cookie_domain = $_SERVER['HTTP_HOST'];
     $domain = '.'. preg_replace('`^www.`', '', $_SERVER['HTTP_HOST']);
     // Per RFC 2109, cookie domains must contain at least one dot other than the
     // first. For hosts such as 'localhost', we don't set a cookie domain.
-- 
1.6.1

