mirror of
https://github.com/php/php-src.git
synced 2026-03-24 16:22:37 +01:00
(zend_fetch_resource) added warinig if resource is of wrong type
This commit is contained in:
@@ -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;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user