session_destroy not useful, · be5fabb0e5 - bibiuc.com - Gitea: Git with a cup of tea

session_destroy not useful,

because every request session_start is called

pull/55/head

Matthias Vogel 11 years ago

parent

e4ecaa72f7

commit

be5fabb0e5

1 changed files with 0 additions and 4 deletions

Unified View

							
								+ 0
								
								- 4
							
system/admin/views/logout.html.phpView File
								
																@ -1,10 +1,6 @@
															
																<?php
																
																<?php
															
																unset($_SESSION[config("site.url")]);
																
																unset($_SESSION[config("site.url")]);
															
																if(empty($_SESSION))
																
																{
																
																	session_destroy();
																
																}
																
																header('location: login');
																
																header('location: login');