Complain verbosely, if a destroy failed

diff --git a/ext/session/session.c b/ext/session/session.c
index d6a9b9f07ce0a9c1ae3fae85f828ab0aeb9f6601..2d6664c48a48c36b5f333ba1f8770013ef7f3560 100644 (file)
--- a/ext/session/session.c
+++ b/ext/session/session.c
@@ -779,7 +779,9 @@ static void _php_session_destroy(PSLS_D)
                return;
        }
 
-       PS(mod)->destroy(&PS(mod_data), PS(id));
+       if (PS(mod)->destroy(&PS(mod_data), PS(id)) == FAILURE) {
+               php_error(E_WARNING, "Destroying the session object failed");
+       }
        php_rshutdown_session_globals(PSLS_C);
        php_rinit_session_globals(PSLS_C);
 }