From df4983b6d4ebfa7c895a17cfa628efa410a59dfb Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Sun, 22 Jun 2014 11:09:44 +0100 Subject: [PATCH] Do not try to reload buffer if the buffer was deleted Fixes #121 --- src/client.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) {