added fix so page isn't cached
authorlkehresman <lkehresman@7612ce4b-ef26-0410-bec9-ea0150e637f0>
Thu, 26 Apr 2001 15:35:50 +0000 (15:35 +0000)
committerlkehresman <lkehresman@7612ce4b-ef26-0410-bec9-ea0150e637f0>
Thu, 26 Apr 2001 15:35:50 +0000 (15:35 +0000)
git-svn-id: https://svn.code.sf.net/p/squirrelmail/code/trunk/squirrelmail@1310 7612ce4b-ef26-0410-bec9-ea0150e637f0

src/login.php

index 5b383a5..bdee744 100644 (file)
@@ -27,6 +27,7 @@
    setcookie("username", '', 0, $base_uri);
    setcookie("key", '', 0, $base_uri);
    setcookie("logged_in", 0, 0, $base_uri);
+   header ("Pragma: no-cache");
 
    // In case the last session was not terminated properly, make sure
    // we get a new one.