From e3c2e40c06303eb33b43a77cff019cde0df3051d Mon Sep 17 00:00:00 2001
From: Fabien Potencier <fabien.potencier@gmail.com>
Date: Thu, 10 Jun 2010 17:54:39 +0200
Subject: [PATCH] [Foundation] added Kernel::__clone()

---
 src/Symfony/Foundation/Kernel.php | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/Symfony/Foundation/Kernel.php b/src/Symfony/Foundation/Kernel.php
index 5065575b5816..b9337692f677 100644
--- a/src/Symfony/Foundation/Kernel.php
+++ b/src/Symfony/Foundation/Kernel.php
@@ -66,6 +66,17 @@ public function __construct($environment, $debug)
         }
     }
 
+    public function __clone()
+    {
+        if ($this->debug) {
+            $this->startTime = microtime(true);
+        }
+
+        $this->booted = false;
+        $this->container = null;
+        $this->request = null;
+    }
+
     abstract public function registerRootDir();
 
     abstract public function registerBundles();