# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1433516741 -7200
# Node ID a71b4567d08ef2d3936c91a2e1b5998502f8a1f2
# Parent  d62a384b2415cfd98e233b66761cc37376505dd2
separate 1000's in snippet counter reports with commas

diff -r d62a384b2415 -r a71b4567d08e graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/SnippetCounter.java
--- a/graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/SnippetCounter.java	Fri Jun 05 11:58:49 2015 +0200
+++ b/graal/com.oracle.graal.replacements/src/com/oracle/graal/replacements/SnippetCounter.java	Fri Jun 05 17:05:41 2015 +0200
@@ -58,7 +58,7 @@
 
             StringBuilder buf = new StringBuilder(String.format("Counters: %s%n", name));
 
-            String formatString = "  %" + maxNameLen + "s: %6.2f%%%" + (String.valueOf(total).length() + 2) + "d  // %s%n";
+            String formatString = "  %" + maxNameLen + "s: %6.2f%%%," + (String.format("%,d", total).length() + 2) + "d  // %s%n";
             for (SnippetCounter c : counters) {
                 double percent = total == 0D ? 0D : ((double) (c.value * 100)) / total;
                 buf.append(String.format(formatString, c.name, percent, c.value, c.description));