Occasional ClosedByInterruptException exceptions on close-down - these are now ignored - hope that's OK!