Searched refs:timesStr (Results 1 – 1 of 1) sorted by relevance
2667 String timesStr; in dumpRecentHistory() local2674 timesStr = String.format("%d/%d%%", in dumpRecentHistory()2677 pw.printf(authorityFormat, name, timesStr, timeStr); in dumpRecentHistory()2699 timesStr = String.format("%d/%d%%", in dumpRecentHistory()2702 pw.printf(accountFormat, stats.name, timesStr, timeStr); in dumpRecentHistory()