diff --git a/server_files/connexion.php b/server_files/connexion.php index e6bcefc..189ddae 100644 --- a/server_files/connexion.php +++ b/server_files/connexion.php @@ -56,17 +56,20 @@ if (isset($error_message) && $error_message === FALSE) {