diff options
| author | Andi Gutmans <andi@php.net> | 2000-06-15 19:09:51 +0000 |
|---|---|---|
| committer | Andi Gutmans <andi@php.net> | 2000-06-15 19:09:51 +0000 |
| commit | e1705c081081e8051aadc571ac9aa4e1cd076fc1 (patch) | |
| tree | 56368bfeb603570f1d6ffd75fafd75c68e469b45 /Zend/zend_list.c | |
| parent | e38d7accb718e70f5ddd6b86276cc06eaddfe388 (diff) | |
| download | php-git-e1705c081081e8051aadc571ac9aa4e1cd076fc1.tar.gz | |
*** empty log message ***
Diffstat (limited to 'Zend/zend_list.c')
| -rw-r--r-- | Zend/zend_list.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Zend/zend_list.c b/Zend/zend_list.c index c8ec2b4555..09916204cf 100644 --- a/Zend/zend_list.c +++ b/Zend/zend_list.c @@ -215,8 +215,9 @@ ZEND_API void *zend_fetch_resource(zval **passed_id, int default_id, char *resou resource = zend_list_find(id, &actual_resource_type); if (!resource) { - if (resource_type_name) + if (resource_type_name) { zend_error(E_WARNING, "%d is not a valid %s resource", id, resource_type_name); + } return NULL; } @@ -232,8 +233,9 @@ ZEND_API void *zend_fetch_resource(zval **passed_id, int default_id, char *resou } va_end(resource_types); - if (resource_type_name) + if (resource_type_name) { zend_error(E_WARNING, "Supplied resource is not a valid %s resource", resource_type_name); + } return NULL; } |