is_integer php-problem

[fritz85]

Hallo,

eigentlich sieht es in der Beschreibung sehr einfach aus jedoch funktioniert dies bei mir nicht:

  
if(is_integer($_SERVER['PHP_AUTH_USER']))  
{  
   echo "Zahl!";  
}  
else  
{  
   echo "Keine Zahl!";  
}  

Ich bekomme immer Keine Zahl! - was ist denn falsch?? *verzweifel*

gruss
fritz