I think this qualifies as a critical crash bug though, and we should prioritize fixing it -- since a common DJing use case is audio on a removable USB stick, the case of a file being removed while we've mmap'd it isn't really an edge case.
I think this qualifies as a critical crash bug though, and we should prioritize fixing it -- since a common DJing use case is audio on a removable USB stick, the case of a file being removed while we've mmap'd it isn't really an edge case.