Searched refs:timesStr (Results 1 – 1 of 1) sorted by relevance
2523 String timesStr; in dumpRecentHistory() local2530 timesStr = String.format("%d/%d%%", in dumpRecentHistory()2533 pw.printf(authorityFormat, name, timesStr, timeStr); in dumpRecentHistory()2555 timesStr = String.format("%d/%d%%", in dumpRecentHistory()2558 pw.printf(accountFormat, stats.name, timesStr, timeStr); in dumpRecentHistory()