resource_type()
| From: | Joey Smith | Date: | Fri, 14 Jul 2000 18:56:12 +0000 |
| Subject: | resource_type() | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-24565@lists.php.net to get a copy of this message | ||
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" */