AuthMemCookie: Delete the session cookie when deleting the session.

Update issue 219
Status: Fixed
This patch implements deletion of the AuthMemCookie session cookie when
logging out.

git-svn-id: https://simplesamlphp.googlecode.com/svn/trunk@1834 44740490-163a-0410-bde0-09ae8108e29a

lib/SimpleSAML/AuthMemCookie.php

@@ -149,9 +149,11 @@ class SimpleSAML_AuthMemCookie {
 		$sessionID = $_COOKIE[$cookieName];
 
 		/* Delete the session from memcache. */
-
 		$memcache = $this->getMemcache();
 		$memcache->delete($sessionID);
+
+		/* Delete the session cookie. */
+		setcookie($cookieName, '', 1, '/', NULL, SimpleSAML_Utilities::isHTTPS(), TRUE);
 	}