From f5ff26879ca685ccf399ff160e6373d436563f7a Mon Sep 17 00:00:00 2001 From: Ben Kurtovic Date: Wed, 25 Jul 2012 11:26:25 -0400 Subject: [PATCH] Fix; delete background cache when updating background setting. --- toolserver/settings.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/toolserver/settings.py b/toolserver/settings.py index 7d1dffa..08b49c4 100644 --- a/toolserver/settings.py +++ b/toolserver/settings.py @@ -36,9 +36,10 @@ def _do_set(query, headers, cookies): key = "EarwigBackground" if key not in cookies or cookies[key].value != query.background: set_cookie(headers, cookies, key, query.background, 365) + delete_cookie(headers, cookies, "EarwigBackgroundCache") changes.add("background") if changes: - changes = ", ".format(sorted(list(changes))) + changes = ", ".join(sorted(list(changes))) return "Updated {0}.".format(changes) return None