| commit | 3c6c449e304413f513db5635abd2181776f7db92 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Fri Dec 31 11:44:19 2021 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Mon Mar 28 14:13:28 2022 -0600 |
| tree | 5893f61deb6f79f3c3107c06c961ccc4cad8bb49 | |
| parent | 8b1931b39443acab9d1f8272a8a81b261f7ef29b [diff] |
Add new timestamped_file class This adds a "timestamped_file" subclass of ui_file. This class adds a timestamp to its output when appropriate. That is, it follows the rule already used in vfprintf_unfiltered of adding a timestamp at most once per write. The new class is not yet used.