device.new() doesn't raise an error when the filename already exists on /dev/
lneto opened this issue · comments
sudo touch /dev/spyglass
sudo lunatik run examples/spyglass
It creates the device userdata anwyay without failure. Note, device_create()
doesn't fail in this case (not sure if on purpose or if it's a bug).