////////////////////////////////////////////////////////////////////////// Produce a nicely formatted output for a stats collection on a stream
| 1900 | /////////////////////////////////////////////////////////////////////////////// |
| 1901 | // Produce a nicely formatted output for a stats collection on a stream |
| 1902 | inline void |
| 1903 | format_center(const char *str) |
| 1904 | { |
| 1905 | std::cout << std::setfill(' ') << std::setw((cl.line_len - strlen(str)) / 2 + strlen(str)) << str << std::endl << std::endl; |
| 1906 | } |
| 1907 | |
| 1908 | inline void |
| 1909 | format_int(int64_t num) |