> What I can see here is that we need better error messages.

And I meant something like the follows. Because boost does not report
the file it fails to check, it would be nice to report such
information.

Cheers,


Index: src/support/filetools.cpp
===================================================================
--- src/support/filetools.cpp   (revision 20191)
+++ src/support/filetools.cpp   (working copy)
@@ -163,7 +163,12 @@
  bool isFileReadable(FileName const & filename)
 {
        std::string const path = filename.toFilesystemEncoding();
-       return fs::exists(path) && !fs::is_directory(path) &&
fs::is_readable(path);
+       try {
+               return fs::exists(path) && !fs::is_directory(path) &&
fs::is_readable(path);
+       } catch(...) {
+               lyxerr << "Failed to check file " << path << std::endl;
+               throw;
+       }
 }

Reply via email to