diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-06-22 11:09:44 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-06-22 11:09:44 +0100 |
| commit | df4983b6d4ebfa7c895a17cfa628efa410a59dfb (patch) | |
| tree | 1b62491454e349d001822d6a4ab392f076f16600 | |
| parent | b89b7c754fcbb2493d5e9a63dffec7ada82cfe9a (diff) | |
Do not try to reload buffer if the buffer was deleted
Fixes #121
| -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 dacaf607..77b7e034 100644 --- a/src/client.cc +++ b/src/client.cc @@ -117,7 +117,7 @@ void Client::check_buffer_fs_timestamp() const String& filename = buffer.name(); time_t ts = get_fs_timestamp(filename); - if (ts == buffer.fs_timestamp()) + if (ts == InvalidTime or ts == buffer.fs_timestamp()) return; if (reload == Ask) { |