protected void writeDetails()

in src/main/java/com/googlesource/gerrit/plugins/renameproject/monitor/CommandProgressMonitor.java [122:138]


    protected void writeDetails(StringBuilder output) {
      String totalStr = String.valueOf(totalWork);
      StringBuilder completedStr = new StringBuilder(String.valueOf(completedWork));
      while (completedStr.length() < totalStr.length()) {
        completedStr.insert(0, " ");
      }
      int percentDone = completedWork * 100 / totalWork;
      if (percentDone < 100) {
        output.append(' ');
      }
      output.append(percentDone);
      output.append("% (");
      output.append(completedStr);
      output.append("/");
      output.append(totalStr);
      output.append(")");
    }