inc/auth.inc.php
changeset 6 9fcac40c1b0e
parent 4 55ed92aa7cf5
child 13 2ff220cfde13
--- a/inc/auth.inc.php	Tue Apr 17 21:18:14 2007 +0000
+++ b/inc/auth.inc.php	Wed Apr 18 21:08:07 2007 +0000
@@ -107,8 +107,11 @@
  * Logout the user and kickback to login form.
  */
 
-function logout($msg="You have logged out.")
+function logout($msg="")
 {
+	if ( $msg == "" ) {
+		$msg=_('You have logged out.');
+	};
 	session_destroy();
 	session_write_close();
 	auth($msg);