Bug#391390: [Pbuilder-maint] Bug#391390: fails to umount /proc if /proc is not mounted

[martin f krafft]

also sprach Junichi Uekawa <dancer at netfort.gr.jp> [2006.10.08.1204 +0200]:
> It is difficult to distinguish between not being able to umount /proc,
> and /proc not being mounted in the first place, and the bet is done on
> the safe side of things, since after all those checks have passed,
> we're going to 'rm -rf' the whole tree, and it is possible for a
> mounted /proc to have undesired side-effect.

diamond:~> PID=14692                                                 #[130,303]
diamond:~> grep -q "pbuilder/build/$PID/proc" /proc/mounts && echo /proc is mounted under pbuilder chroot $PID                             
/proc is mounted under pbuilder chroot 14692

-- 
 .''`.   martin f. krafft <madduck at debian.org>
: :'  :  proud Debian developer, author, administrator, and user
`. `'`   http://people.debian.org/~madduck - http://debiansystem.info
  `-  Debian - when you have better things to do than fixing systems
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature (GPG/PGP)
Url : http://lists.alioth.debian.org/pipermail/pbuilder-maint/attachments/20061008/bf444d36/attachment.pgp