From 28fdad3975f51539533c099aaf09eb6dcec5a5bc Mon Sep 17 00:00:00 2001
From: Ben Kurtovic <ben.kurtovic@verizon.net>
Date: Tue, 24 Jul 2012 01:17:52 -0400
Subject: [PATCH] Explicitly remove a cookie from the manager if we delete it.

---
 toolserver/cookies.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/toolserver/cookies.py b/toolserver/cookies.py
index 1d1d6f6..23fb9cc 100644
--- a/toolserver/cookies.py
+++ b/toolserver/cookies.py
@@ -51,3 +51,4 @@ def set_cookie(headers, cookies, key, value, days=0):
 
 def delete_cookie(headers, cookies, key):
     set_cookie(headers, cookies, key, u"", days=-1)
+    del cookies[key]