96979899100101102103104105106
} long diff=System.currentTimeMillis() - start; System.out.println("\n" + NUM + " incrs took " + diff + " ms; " + (NUM / (diff / 1000.0)) + " ops /sec\n"); break; case '9': System.out.println("Pending requests:\n" + counter_service.dumpPendingRequests()); break; case 'x': looping=false; break; }