diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-26 21:54:22 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-26 21:54:22 +0200 |
| commit | ef7ed3d27708b425aec80b5d67cad370a26ff1dc (patch) | |
| tree | be89bec4f7f89017daf764ef509ed14065f6b379 /bin/db-update | |
| parent | be65f170df33778ac308d32c6561be8484005805 (diff) | |
| download | builder-ef7ed3d27708b425aec80b5d67cad370a26ff1dc.tar.xz | |
bin/db-update, bin/common-functions: umount -l instead of umount [-f]
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}" |