file_id_from_path

Gets a file's path from its id.

For us with the notify crate.

Known issues

• On Windows, does not work with temporary file system resources (See Issue #1).