diff options
| author | Thies C. Arntzen <thies@php.net> | 1999-10-13 12:59:48 +0000 |
|---|---|---|
| committer | Thies C. Arntzen <thies@php.net> | 1999-10-13 12:59:48 +0000 |
| commit | 6e07d060fc09ae759aa6693a59cd81efe7c36a63 (patch) | |
| tree | 41026d7b6fb6d6cc2c2e27d5f54cf47befb8b6ab /Zend | |
| parent | 489a49d2fe8d2c3c70ac02193968e6c93677247f (diff) | |
| download | php-git-6e07d060fc09ae759aa6693a59cd81efe7c36a63.tar.gz | |
(zend_fetch_resource) added warinig if resource is of wrong type
Diffstat (limited to 'Zend')
| -rw-r--r-- | Zend/zend_list.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Zend/zend_list.c b/Zend/zend_list.c index 51a827e708..fd579990b5 100644 --- a/Zend/zend_list.c +++ b/Zend/zend_list.c @@ -196,6 +196,10 @@ ZEND_API void *zend_fetch_resource(zval **passed_id, int default_id, char *resou } } va_end(resource_types); + + if (resource_type_name) + zend_error(E_WARNING, "Supplied resource is not a valid %s resource", resource_type_name); + return NULL; } |