From 3339ed196df01429029861957ce3e53311f14767 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 29 Jun 2017 10:00:44 +0200
Subject: bin/db-update: only umount if mounted

---
 bin/db-update | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/bin/db-update b/bin/db-update
index 5457dcb..0ee9020 100755
--- a/bin/db-update
+++ b/bin/db-update
@@ -369,7 +369,9 @@ fi
 tmp_dir="$(mktemp -d)"
 
 clean_up_lock_file() {
-  sudo /usr/bin/umount -l "${master_mirror_sshfs}"
+  if mountpoint "${master_mirror_sshfs}" > /dev/null 2>&1; then
+    sudo /usr/bin/umount -l "${master_mirror_sshfs}"
+  fi
   rm -f "${package_database_lock_file}" "${build_list_lock_file}"
   rm -rf --one-file-system "${tmp_dir}"
 }
-- 
cgit v1.2.3-70-g09d2