ping_interval    1064 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    2419 ext/oci8/oci8.c 		if (OCI_G(ping_interval) >= 0) {
ping_interval    2420 ext/oci8/oci8.c 			*(connection->next_pingp) = timestamp + OCI_G(ping_interval);
ping_interval    3385 ext/oci8/oci8.c 				*(connection->next_pingp) = timestamp + OCI_G(ping_interval);
ping_interval    3481 ext/oci8/oci8.c 	if (OCI_G(ping_interval) >= 0) {
ping_interval    3483 ext/oci8/oci8.c 		*next_pingp = timestamp + OCI_G(ping_interval);
ping_interval     503 ext/oci8/php_oci8_int.h 	long		 ping_interval;					/* time interval between pings */