- Fix for bug #13230

diff --git a/ext/pdf/pdf.c b/ext/pdf/pdf.c
index 4de25a705f02b53f3eb927e155e06d1256f703ff..7757e6980e45a34b9bb826670d6c15e406048089 100644 (file)
--- a/ext/pdf/pdf.c
+++ b/ext/pdf/pdf.c
@@ -257,12 +257,8 @@ ZEND_GET_MODULE(pdf)
  */
 static void _free_pdf_doc(zend_rsrc_list_entry *rsrc TSRMLS_DC)
 {
-       /* RJS: TODO:
        PDF *pdf = (PDF *)rsrc->ptr;
-          check whether pdf-Pointer is still valid, before pdf_delete()
-          + remove php-resource */
-       /* PDF_delete(pdf);
-*/
+       PDF_delete(pdf);
 }
 /* }}} */