summaryrefslogtreecommitdiff
path: root/src/tools/operf
diff options
context:
space:
mode:
authorSander Vrijders <sander@ouroboros.rocks>2020-04-30 11:49:30 +0200
committerDimitri Staessens <dimitri@ouroboros.rocks>2020-04-30 12:32:53 +0200
commit978266fe4beba21292daad2d341fe5ff22e08aba (patch)
treed432100d7d40f4ece133fdb56233509f86839f8d /src/tools/operf
parentf6ae2ac9f0735846c58e0e953c01c3d834dd7d08 (diff)
downloadouroboros-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