| commit | 52970f47a5cc956c5163162410e5c5521500e2f2 | [log] [tgz] |
|---|---|---|
| author | Zdenek Behan <zbehan@chromium.org> | Thu Aug 30 22:36:40 2012 +0200 |
| committer | Gerrit <chrome-bot@google.com> | Fri Aug 31 15:41:45 2012 -0700 |
| tree | 31b3296f656944084b5139ed0b6890151f2a2016 | |
| parent | 8c8186c8323245629167138dfd3629ea4e1456ff [diff] |
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>