From 52bbb36af436fd65298be080ff5f3090b4629da3 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Thu, 26 Jan 2012 16:51:24 +0000
Subject: [PATCH] shm_user breaks varnish cache

---
 ext/user/main.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ext/user/main.php b/ext/user/main.php
index 66baa6c5..21c75b52 100644
--- a/ext/user/main.php
+++ b/ext/user/main.php
@@ -79,7 +79,7 @@ class UserPage extends SimpleExtension {
 			}
 			else if($event->get_arg(0) == "logout") {
 				set_prefixed_cookie("session", "", time()+60*60*24*$config->get_int('login_memory'), "/");
-				if(CACHE_HTTP) {
+				if(CACHE_HTTP || SPEED_HAX) {
 					# to keep as few versions of content as possible,
 					# make cookies all-or-nothing
 					set_prefixed_cookie("user", "", time()+60*60*24*$config->get_int('login_memory'), "/");