Browse Source

Explicitly remove a cookie from the manager if we delete it.

pull/24/head
Ben Kurtovic 12 years ago
parent
commit
28fdad3975
1 changed files with 1 additions and 0 deletions
  1. +1
    -0
      toolserver/cookies.py

+ 1
- 0
toolserver/cookies.py View File

@@ -51,3 +51,4 @@ def set_cookie(headers, cookies, key, value, days=0):


def delete_cookie(headers, cookies, key): def delete_cookie(headers, cookies, key):
set_cookie(headers, cookies, key, u"", days=-1) set_cookie(headers, cookies, key, u"", days=-1)
del cookies[key]

Loading…
Cancel
Save