mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-04 17:53:07 +00:00
The fs_query component used to exit with an uncaught exception if a queried directory didn't exist. Now, fs_query will catch this event and simply skip the affected query, thereby indicating to the user the inexistence of the queried directory. Ref #4032