index aa28014a03cd8ab43c6e8719b85949cbd380c4f4..d9a82de75ba20be2d811564f4e2ff67a9380bf0a 100644 (file)
global $ui;
/* Preset to something reasonable */
- $username= " unauthenticated";
+ $username= "[unauthenticated]";
/* Replace username if object is present */
if (isset($ui)){
if ($ui->username != ""){
$username= "[$ui->username]";
} else {
- $username= "unknown";
+ $username= "[unknown]";
}
}