* no need to wrap around zend_objects_destroy_object()
authorMichael Wallner <mike@php.net>
Tue, 22 Feb 2005 12:11:10 +0000 (12:11 +0000)
committerMichael Wallner <mike@php.net>
Tue, 22 Feb 2005 12:11:10 +0000 (12:11 +0000)
commit3c7aaecb2e0ecc1e24cdf3347178f382c9c71f71
treed80d58f045b9d6af73aa36d62512633581904de6
parentfca3f6dec1f2842792cd399ad830c2e1746b9cf6
* no need to wrap around zend_objects_destroy_object()
http.c