diff options
| -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; } |