[FrameworkBundle][HttpKernel] added a default tearDown on the WebTestCase which will shut down the currently used kernel (if there is one) in Web functional tests

src/Symfony/Bundle/FrameworkBundle/Test/WebTestCase.php

@@ -150,4 +150,15 @@ abstract class WebTestCase extends BaseWebTestCase
             isset($options['debug']) ? $options['debug'] : true
         );
     }
+    
+    /**
+     * Shuts the kernel down if it was used in the test
+     */
+    protected function tearDown()
+    {
+        if ($this->kernel !== null && $this->kernel->isBooted())
+        {
+            $this->kernel->shutdown();
+        }
+    }
 }

src/Symfony/Component/HttpKernel/Kernel.php

@@ -293,6 +293,16 @@ abstract class Kernel implements KernelInterface
         return $this->name;
     }
     
+    /**
+     * Checks if the Kernel is currently booted.
+     *
+     * @return Boolean true if kernel is booted, false otherwise
+     */
+    public function isBooted()
+    {
+        return $this->booted;
+    }
+
     /**
      * Gets the environment.
      *