Given that digits can only be in the \x48-\x57 range is (int)*(unsigned char 
*) cast really necessary?

Ilia

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

Reply via email to