le_psessionpool    93 ext/oci8/oci8.c int le_psessionpool;
le_psessionpool  1195 ext/oci8/oci8.c 	le_psessionpool = zend_register_list_destructors_ex(NULL, php_oci_spool_list_dtor, "oci8 persistent session pool", module_number);
le_psessionpool  3041 ext/oci8/oci8.c 		spool_le.type = le_psessionpool;
le_psessionpool  3042 ext/oci8/oci8.c 		PHP_OCI_REGISTER_RESOURCE(session_pool, le_psessionpool);
le_psessionpool  3044 ext/oci8/oci8.c 	} else if (spool_out_le->type == le_psessionpool &&