ping_interval    1058 ext/oci8/oci8.c 	STD_PHP_INI_ENTRY(	"oci8.ping_interval",			"60",	PHP_INI_SYSTEM,	ONUPDATELONGFUNC,	ping_interval,			zend_oci_globals,	oci_globals)
ping_interval    2434 ext/oci8/oci8.c 		if (OCI_G(ping_interval) >= 0) {
ping_interval    2435 ext/oci8/oci8.c 			*(connection->next_pingp) = timestamp + OCI_G(ping_interval);
ping_interval    3429 ext/oci8/oci8.c 				*(connection->next_pingp) = timestamp + OCI_G(ping_interval);
ping_interval    3525 ext/oci8/oci8.c 	if (OCI_G(ping_interval) >= 0) {
ping_interval    3527 ext/oci8/oci8.c 		*next_pingp = timestamp + OCI_G(ping_interval);
ping_interval     518 ext/oci8/php_oci8_int.h 	zend_long		 ping_interval;					/* time interval between pings */