Searched refs:pdb_endTime (Results 1 – 1 of 1) sorted by relevance
519 Date pdb_endTime = new Date(); in main() local520 pdbcmp.writeToLog("end time " + pdb_endTime); in main()
Completed in 6 milliseconds