blob: 23dce0dc87b3179abe611d33b03f4308ed804685 (
plain)
1
2
3
4
5
6
7
8
9
10
|
package except
/**
* This exception is thrown when the file that the client is trying to open (or walk through, in case of a directory)
* cannot be accessed.
*
* @param path The path that the client tried to access, up to the first element that cannot be accessed (e.g. if the
* path the user wants to access is `/usr/foo/bar/zib` but `bar` does not exist, then [path] must be `/usr/foo/bar`).
*/
class UnaccessibleFileException(val path: String) : Exception("Cannot access file ${path}.")
|