diff options
| author | Daniel Baumann <daniel@debian.org> | 2008-08-25 12:07:00 +0200 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 19:03:40 +0100 |
| commit | 14fe5c6fb20993ff7de47f56cef89e6fd2dc6729 (patch) | |
| tree | f44f56c94d81d57eb72f96688c5e1333b9e4fec0 | |
| parent | d0bd7bc265748628355fdff835ffcb830e61551e (diff) | |
| download | live-build-14fe5c6fb20993ff7de47f56cef89e6fd2dc6729.zip live-build-14fe5c6fb20993ff7de47f56cef89e6fd2dc6729.tar.gz | |
Improving check for a mounted chroot/dev/pts to cover all terminals, not just the 0th (Closes: #459697, #459779).
| -rwxr-xr-x | helpers/lh_chroot_devpts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/helpers/lh_chroot_devpts b/helpers/lh_chroot_devpts index 0cdb280..f59e91f 100755 --- a/helpers/lh_chroot_devpts +++ b/helpers/lh_chroot_devpts @@ -72,7 +72,7 @@ case "${1}" in # Unmounting /dev/pts if [ "${LH_USE_FAKEROOT}" != "enabled" ] then - if [ -e chroot/dev/pts/0 ] + if Find_files chroot/dev/pts/* then ${LH_ROOT_COMMAND} umount chroot/dev/pts fi |