I would imagine that you have to add: $random = gmp_strval($random);

In between the two lines to convert the resource to a string value.

Wes


On Thursday, May 29, 2003, at 04:24 PM, Marius wrote:


<?
$random = gmp_random(10);
echo "$random";
?>
how to do that it echoes a random number and not a
Resource id #1,


-- Marius [EMAIL PROTECTED]



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



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



Reply via email to