diff options
| author | Sander Vrijders <sander@ouroboros.rocks> | 2020-04-30 11:49:30 +0200 |
|---|---|---|
| committer | Dimitri Staessens <dimitri@ouroboros.rocks> | 2020-04-30 12:32:53 +0200 |
| commit | 978266fe4beba21292daad2d341fe5ff22e08aba (patch) | |
| tree | d432100d7d40f4ece133fdb56233509f86839f8d /src/tools/operf | |
| parent | f6ae2ac9f0735846c58e0e953c01c3d834dd7d08 (diff) | |
| download | ouroboros-978266fe4beba21292daad2d341fe5ff22e08aba.tar.gz ouroboros-978266fe4beba21292daad2d341fe5ff22e08aba.zip | |
lib: Unmount stale RIB directories
If Ouroboros crashed, the RIB directory might still be mounted. This
checks if this is the case, then unmounts it.
Signed-off-by: Sander Vrijders <sander@ouroboros.rocks>
Signed-off-by: Dimitri Staessens <dimitri@ouroboros.rocks>
Diffstat (limited to 'src/tools/operf')
0 files changed, 0 insertions, 0 deletions