1 files changed, 0 insertions, 36 deletions
diff --git a/appli_3_alpha_old/app/deco.php b/appli_3_alpha_old/app/deco.php
deleted file mode 100644
index 57a56bc..0000000
--- a/appli_3_alpha_old/app/deco.php
+++ /dev/null
@@ -1,36 +0,0 @@
-<?php
-session_start();
-
-// Si vous voulez détruire complètement la session, effacez également le cookie de session.
-// Note : cela détruira la session et pas seulement les données de session !
-if (isset($_COOKIE[session_name()])) {
-setcookie(session_name(), '', time()-42000, '/');
-}
-	
-require_once('include/ludo/html_elements.inc.php');
-generate_html_doctype_and_head("Déconnexion");
-?>
-<body>
-	<h1>Deconnexion</h1>
-	<div>
-	<?php
-	if ( isset($_SESSION['session_loginP']) )
-	{
-		// Détruit toutes les variables de session
-		$_SESSION = array();
-
-		// On a déjà détruit le cookie qui permet la ré-emission par le client du sessionid
-
-		// Finalement, on détruit la session.
-		session_destroy();
-		echo 'Vous avez bien été déconnecté' . "\n";
-	}
-	else
-	{
-		echo 'Deconnexion impossible : aucune session en cours' . "\n";
-	}
-	?>
-	</div>
-<?php generate_html_div_back(); ?>
-</body>
-</html>
-\ No newline at end of file