diff options
author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2020-02-10 09:19:10 +0100 |
---|---|---|
committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2020-02-10 09:32:17 +0100 |
commit | 3017bdb7ce2ffcbeb83583c03cfe83353aab165f (patch) | |
tree | 0e2921b86fcf5c18547c251ff56100da00b01d3c /modules/websocket/wsl_server.h | |
parent | 47f19cc776940469a006aa3f7331166b32d9f7b4 (diff) |
Make file system scan more robust
Previously, a change was missed if it happened while the scan was in progress and already past the affected location.
Also:
- Consider the scan changes thread on termination, in addition to the full scan one
- Add FS-reported hidden to the check for hidden by the editor file system
Diffstat (limited to 'modules/websocket/wsl_server.h')
0 files changed, 0 insertions, 0 deletions