web UI: /scheduler/device_types behaves counter-intuitively for device types without devices
Steps to reproduce:
- Get a LAVA install.
- Using lavacli, create a device type:
lavacli device-types add foo-type.
- Spend some time away, so you don't remember which devices type are there.
- Go to /scheduler/device_types URL (e.g., http://localhost/scheduler/device_types)
- See no
foo-typedevice type there.