Andreas Kling
5292f6e78f
Kernel+FileManager: Disallow watch_file() in unsupported file systems
...
Currently only Ext2FS and TmpFS supports InodeWatchers. We now fail
with ENOTSUPP if watch_file() is called on e.g ProcFS.
This fixes an issue with FileManager chewing up all the CPU when /proc
was opened. Watchers don't keep the watched Inode open, and when they
close, the watcher FD will EOF.
Since nothing else kept /proc open in FileManager, the watchers created
for it would EOF immediately, causing a refresh over and over.
Fixes #879 .
2019-12-15 19:33:39 +01:00
..
2019-12-15 12:47:53 +01:00
2019-12-09 21:03:39 +01:00
2019-12-15 19:33:39 +01:00
2019-11-27 14:06:24 +01:00
2019-12-14 13:03:26 +01:00
2019-12-09 21:03:39 +01:00
2019-12-15 16:53:46 +01:00
2019-08-06 21:09:24 +02:00
2019-11-03 13:11:43 +01:00
2019-11-26 12:54:33 +01:00
2019-11-26 12:54:33 +01:00
2019-12-12 22:01:06 +01:00
2019-11-04 14:03:14 +01:00
2019-11-04 14:03:14 +01:00
2019-10-18 15:58:06 +02:00
2019-10-18 15:58:06 +02:00
2019-08-18 07:40:02 +02:00
2019-10-07 10:11:39 +02:00
2019-08-11 08:22:42 +02:00
2019-12-01 19:17:17 +01:00
2019-11-03 09:26:22 +01:00
2019-07-13 08:00:24 +02:00
2019-09-27 14:25:42 +02:00
2019-12-12 21:58:32 +01:00
2019-09-06 15:36:54 +02:00
2019-07-24 10:25:43 +02:00
2019-09-06 15:36:54 +02:00
2019-11-27 14:06:24 +01:00
2019-08-02 19:22:48 +02:00
2019-11-27 14:06:24 +01:00
2019-11-29 14:59:15 +01:00
2019-11-28 21:30:20 +01:00
2019-11-23 17:27:09 +01:00
2019-12-01 16:02:58 +01:00
2019-12-01 12:07:43 +01:00
2019-12-12 22:01:06 +01:00
2019-12-11 20:36:56 +01:00
2019-11-28 21:30:20 +01:00
2019-11-28 21:07:22 +01:00
2019-08-14 06:28:53 +02:00
2019-08-14 06:28:53 +02:00
2019-12-15 19:33:39 +01:00
2019-12-11 20:36:56 +01:00
2019-11-04 14:03:14 +01:00
2019-12-12 21:59:47 +01:00
2019-12-12 21:59:47 +01:00
2019-09-28 13:59:49 +02:00
2019-11-13 21:57:51 +01:00
2019-12-11 20:36:56 +01:00
2019-12-01 19:17:17 +01:00
2019-11-03 21:11:08 +01:00
2019-12-09 20:06:47 +01:00
2019-11-27 14:06:24 +01:00
2019-08-11 16:30:43 +02:00
2019-11-12 10:26:50 +01:00
2019-12-15 12:47:53 +01:00
2019-12-11 20:36:56 +01:00
2019-11-29 21:31:17 +01:00
2019-12-15 17:58:53 +01:00
2019-12-15 17:58:53 +01:00
2019-12-09 19:12:38 +01:00
2019-12-08 00:33:35 +01:00
2019-12-01 12:07:43 +01:00