diff options
Diffstat (limited to 'bin/db-update')
| -rwxr-xr-x | bin/db-update | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/db-update b/bin/db-update index a67a3fc..5457dcb 100755 --- a/bin/db-update +++ b/bin/db-update @@ -369,14 +369,13 @@ fi tmp_dir="$(mktemp -d)" clean_up_lock_file() { - echo sudo /usr/bin/umount "${master_mirror_sshfs}" - sudo /usr/bin/umount "${master_mirror_sshfs}" + sudo /usr/bin/umount -l "${master_mirror_sshfs}" rm -f "${package_database_lock_file}" "${build_list_lock_file}" rm -rf --one-file-system "${tmp_dir}" } if mountpoint "${master_mirror_sshfs}" > /dev/null 2>&1; then - sudo /usr/bin/umount "${master_mirror_sshfs}" + sudo /usr/bin/umount -l "${master_mirror_sshfs}" fi mount "${master_mirror_sshfs}" |