[PHP] Pick a default dtor which can't collide

This commit is contained in:
Olly Betts 2016-12-01 15:09:36 +13:00
commit da1dd2ffd2
2 changed files with 2 additions and 2 deletions

View file

@ -165,7 +165,7 @@ static void SwigPHP_emit_resource_registrations() {
}
if (!rsrc_dtor_name) {
rsrc_dtor_name = NewString("_wrap_default_rsrc_destroy");
rsrc_dtor_name = NewString("_swig_default_rsrc_destroy");
if (!emitted_default_dtor) {
// Write out custom destructor function
Printf(s_wrappers, "static ZEND_RSRC_DTOR_FUNC(%s) {\n", rsrc_dtor_name);

View file

@ -165,7 +165,7 @@ static void SwigPHP_emit_resource_registrations() {
}
if (!rsrc_dtor_name) {
rsrc_dtor_name = NewString("_wrap_default_rsrc_destroy");
rsrc_dtor_name = NewString("_swig_default_rsrc_destroy");
if (!emitted_default_dtor) {
// Write out custom destructor function
Printf(s_wrappers, "static ZEND_RSRC_DTOR_FUNC(%s) {\n", rsrc_dtor_name);