Re: resource_type()
| From: | Zeev Suraski | Date: | Fri, 14 Jul 2000 19:02:41 +0000 |
| Subject: | Re: resource_type() | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-24566@lists.php.net to get a copy of this message | ||
No, but it looks like a good idea.
Zeev
On Fri, 14 Jul 2000, Joey Smith wrote:
> Is there any way to obtain the "type" resource from user-space? ie, I'm
> looking for something like
>
> $db_handle = mysql_pconnect(...);
> $type = resource_type($db_handle);
> /* $type == "mysql" */
>
>
>
--
Zeev Suraski <zeev@zend.com>
http://www.zend.com/