diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-04-25 18:40:51 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-04-26 09:56:02 +0200 |
commit | df210e9e10cf7cd036954a7e772552fdbf715f83 (patch) | |
tree | 37fa958f368d3da39a39ee06f753bf23fd3e61de /doc/man/fset_add.3 | |
parent | 413064a95645ab569c2adae4e422cc6aefdf8304 (diff) | |
download | ouroboros-df210e9e10cf7cd036954a7e772552fdbf715f83.tar.gz ouroboros-df210e9e10cf7cd036954a7e772552fdbf715f83.zip |
lib: Unmount stale FUSE mountpoints
This will unmount a stale FUSE mountpoint (an IPCP with the same pid
exited ungracefully on the system) before trying to create it.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'doc/man/fset_add.3')
0 files changed, 0 insertions, 0 deletions