Project

General

Profile

« Previous | Next » 

Revision 302

Added by stefan over 18 years ago

Ticket #126. Cookie REMEMBER_KEY wasn't cleared in account/logout and expiration date is now set to time in the past. Thanks to alex!

View differences:

logout.php
25 25 

  		




  26
  26
  
    
require("../config.php");


  		




  27
  27
  
    

  		




  
  28
  
    
if(isset($_COOKIE['REMEMBER_KEY'])) {


  		




  
  29
  
    
	setcookie('REMEMBER_KEY', '', time()-3600, '/');


  		




  
  30
  
    
}


  		




  
  31
  
    

  		




  28
  32
  
    
$_SESSION['USER_ID'] = null;


  		




  29
  33
  
    
$_SESSION['GROUP_ID'] = null;


  		




  30
  34
  
    
$_SESSION['USERNAME'] = null;


  		












Also available in:  Unified diff