write_checkpoint 1137 bin/dbupdate/dbupdate.cc write_checkpoint(1); write_checkpoint 1287 bin/dbupdate/dbupdate.cc write_checkpoint(1); write_checkpoint 1306 bin/dbupdate/dbupdate.cc write_checkpoint(1);