diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-09-27 11:55:34 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-09-27 11:55:34 +0100 |
| commit | e2720f1fbe09649e6da282cd33b9794867d3d0fb (patch) | |
| tree | bb5f906151c28fc5fde6078b842a71c0ba4fc318 /src/client.cc | |
| parent | 122a799ecb7dd1a6d6ff392ab9dc9d88fafad770 (diff) | |
Store timespec for buffer fs timestamps, not just time_t
time_t has a resolution of one second, which cause troubles when
a file changes multiple time during that same second.
Diffstat (limited to 'src/client.cc')
| -rw-r--r-- | src/client.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client.cc b/src/client.cc index 9da589b5..da218b7c 100644 --- a/src/client.cc +++ b/src/client.cc @@ -246,7 +246,7 @@ void Client::check_if_buffer_needs_reloading() return; const String& filename = buffer.name(); - time_t ts = get_fs_timestamp(filename); + timespec ts = get_fs_timestamp(filename); if (ts == InvalidTime or ts == buffer.fs_timestamp()) return; if (reload == Ask) |