Merge branch 'core' into 'master'

inputd: fix panic when no devices are available

See merge request redox-os/drivers!113
This commit is contained in:
Jeremy Soller
2023-08-31 13:26:04 +00:00
+5
View File
@@ -503,6 +503,11 @@ pub fn main() {
}
}
if devices.is_empty() {
// No display devices found.
return;
}
let device = devices
.iter()
.filter(|d| !d.contains("vesa"))