write_checkpoint 1487 bin/dbupdate/dbupdate.cc write_checkpoint(1); write_checkpoint 1664 bin/dbupdate/dbupdate.cc write_checkpoint(1); write_checkpoint 1683 bin/dbupdate/dbupdate.cc write_checkpoint(1);