Resources not fully cleared after running docker_image

[TheChymera]

after running gebuild /home/gentoo/SAMRI/.gentoo docker_image, I get:

newbuilder /home/gentoo # rm -rf /usr/share/gebuilder/roots/775a9caeff85fbfde557ccd5f7458cd0ccc4de98401f8fd3c3ecb618fdcbc57d/
rm: cannot remove '/usr/share/gebuilder/roots/775a9caeff85fbfde557ccd5f7458cd0ccc4de98401f8fd3c3ecb618fdcbc57d/root/dev/mqueue': Device or resource busy
rm: cannot remove '/usr/share/gebuilder/roots/775a9caeff85fbfde557ccd5f7458cd0ccc4de98401f8fd3c3ecb618fdcbc57d/root/dev/shm': Device or resource busy
rm: cannot remove '/usr/share/gebuilder/roots/775a9caeff85fbfde557ccd5f7458cd0ccc4de98401f8fd3c3ecb618fdcbc57d/root/dev/pts/ptmx': Operation not permitted

The only way to solve this atm, seems to be rebooting. Is there any obvious reason why this would happen?

[Doeme]

Sounds like some unmount step is not properly executed. This should be done automatically => might be a bug in the code somewhere