Do not try to reload buffer if the buffer was deleted

Fixes #121
This commit is contained in:
Maxime Coste 2014-06-22 11:09:44 +01:00
parent b89b7c754f
commit df4983b6d4

View File

@ -117,7 +117,7 @@ void Client::check_buffer_fs_timestamp()
const String& filename = buffer.name(); const String& filename = buffer.name();
time_t ts = get_fs_timestamp(filename); time_t ts = get_fs_timestamp(filename);
if (ts == buffer.fs_timestamp()) if (ts == InvalidTime or ts == buffer.fs_timestamp())
return; return;
if (reload == Ask) if (reload == Ask)
{ {