tree 31b3296f656944084b5139ed0b6890151f2a2016
parent 8c8186c8323245629167138dfd3629ea4e1456ff
author Zdenek Behan <zbehan@chromium.org> 1346359000 +0200
committer Gerrit <chrome-bot@google.com> 1346452905 -0700

common.sh: Change umount function to account for already deleted mounts.

BUG=chromium-os:31250
TEST=enter chroot; kill ssh-agent; exit chroot

Change-Id: Iea8e0fdd9a82047bb756a459dffc2ef59615074c
Reviewed-on: https://gerrit.chromium.org/gerrit/31929
Tested-by: Zdenek Behan <zbehan@chromium.org>
Reviewed-by: Mike Frysinger <vapier@chromium.org>
Commit-Ready: Zdenek Behan <zbehan@chromium.org>