Hello Miguel,
> I didn't update my mail so often and you've already solved it... Sorry > for the noise and thank you for the patch. :-) Thanks for having a look to this :). I sent an updated patch because the first one could cause a regression in "non-install-devices" procedure I think. This procedure tries to find the install device by checking which devices are busy using "with-delay-device-in-use?". Turns out it doesn't work for me, plus it would now took a longer time if the delay is higher. In the updated patch, I removed the "with-delay-device-in-use?" call from "non-install-devices", adding a note saying that it would be nice to fix this procedure anyway. What do you think about that? Thanks, Mathieu
