Searched refs:pdb_startTime (Results 1 – 1 of 1) sorted by relevance
515 Date pdb_startTime = new Date(); in main() local517 pdbcmp.writeToLog("start time " + pdb_startTime); in main()
Completed in 9 milliseconds