Registered devices

<% if grouped_devices.is_empty() { %>

No devices are registered on this server.

<% } %> <% for (group_ty, group) in grouped_devices { %>
<%= match group_ty { #[cfg(feature = "camera")] DeviceType::Camera => "Cameras", #[cfg(feature = "dome")] DeviceType::Dome => "Domes", #[cfg(feature = "filterwheel")] DeviceType::FilterWheel => "Filter wheels", #[cfg(feature = "focuser")] DeviceType::Focuser => "Focusers", #[cfg(feature = "observingconditions")] DeviceType::ObservingConditions => "Weather stations", #[cfg(feature = "rotator")] DeviceType::Rotator => "Rotators", #[cfg(feature = "safetymonitor")] DeviceType::SafetyMonitor => "Safety monitors", #[cfg(feature = "switch")] DeviceType::Switch => "Switches", #[cfg(feature = "telescope")] DeviceType::Telescope => "Telescopes", #[cfg(feature = "covercalibrator")] DeviceType::CoverCalibrator => "Cover calibrators", } %>
<% } %>