equal
deleted
inserted
replaced
188 { |
188 { |
189 case 'cookie_destroy': |
189 case 'cookie_destroy': |
190 unset($_COOKIE['sid']); |
190 unset($_COOKIE['sid']); |
191 setcookie('sid', '', time()-3600*24, scriptPath); |
191 setcookie('sid', '', time()-3600*24, scriptPath); |
192 setcookie('sid', '', time()-3600*24, scriptPath.'/'); |
192 setcookie('sid', '', time()-3600*24, scriptPath.'/'); |
193 die('Session cookie cleared. <a href="'.$_SERVER['PHP_SELF'].'">Continue</a>'); |
193 die('Session cookie cleared. <a href="'.htmlspecialchars($_SERVER['PHP_SELF']).'">Continue</a>'); |
194 break; |
194 break; |
195 } |
195 } |
196 } |
196 } |
197 |
197 |
198 // Select and fetch the site configuration |
198 // Select and fetch the site configuration |