On Sun, Nov 09, 2014 at 03:01:47PM +0100, Martin Pieuchot wrote: > Thanks for the report. I just committed a fix for this. The problem > was in the code closing the pipe. This would only matter for devices > closing & opening multiple times their pipes, like mouses or keyboards > when they are opened/closed. > > Please let met know if you still have a problem.
I can confirm it is working now. Thanks for the quick fix! :)
