diff --git a/public/index.php b/public/index.php index 55202fc..580c33f 100644 --- a/public/index.php +++ b/public/index.php @@ -65,7 +65,7 @@ if (isset($_GET["backgroundcolor"]) && !empty($_GET["backgroundcolor"]) && preg_ getMachineID(); + if (!empty($mid) && Machine::exists($mid)) { + $machine = new Machine($mid); + } else { + // component exists but isn't attached to a machine + ?> +
+ Look up another device: +
+ +