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/irm/irm_name_reg.c | |
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/irm/irm_name_reg.c')
0 files changed, 0 insertions, 0 deletions