isset must be used before use a value into array

2013-04-23 12:02:58 +02:00
parent fe66105581
commit ad239ff694
2 changed files with 3 additions and 3 deletions
--- a/include/common.php
+++ b/include/common.php
@@ -2,7 +2,7 @@

 umask(0007);

-if ($_SERVER['PHP_AUTH_USER'])
+if (isset($_SERVER['PHP_AUTH_USER']))
 	$PHPki_user = md5($_SERVER['PHP_AUTH_USER']);
 else
 	$PHPki_user = md5('default');