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.09.0702 +0200]:
> > 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
> 
> That doesn't always work.

Could you provide a little more detail please? When does it not work?

-- 
 .''`.   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/20061009/54bd389a/attachment.pgp