On Fri, 2003-07-04 at 12:44, Rasmus Lerdorf wrote:
> The difference is that you are getting a string from the file and not
> casting it to an integer.  You could also have fixed it by doing:
> 
>   $counter = (int) fread(...);

The cast isn't necessary, PHP happily transforms it for him when he
applies the ++ operator.

Cheers,
Rob.
-- 
.---------------------------------------------.
| Worlds of Carnage - http://www.wocmud.org   |
:---------------------------------------------:
| Come visit a world of myth and legend where |
| fantastical creatures come to life and the  |
| stuff of nightmares grasp for your soul.    |
`---------------------------------------------'

-- 
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to