delete_tombstones   65 source4/wrepl_server/wrepl_scavenging.c 	bool delete_tombstones;
delete_tombstones   86 source4/wrepl_server/wrepl_scavenging.c 	delete_tombstones = timeval_expired(&tombstone_extra_time);
delete_tombstones  166 source4/wrepl_server/wrepl_scavenging.c 			if (!delete_tombstones) break;
delete_tombstones  219 source4/wrepl_server/wrepl_scavenging.c 	bool delete_tombstones;
delete_tombstones  239 source4/wrepl_server/wrepl_scavenging.c 	delete_tombstones = timeval_expired(&tombstone_extra_time);
delete_tombstones  272 source4/wrepl_server/wrepl_scavenging.c 			if (!delete_tombstones) break;