# HG changeset patch
# User drewp@bigasterisk.com
# Date 1560021281 0
# Node ID 30cef362bf70d61355781dc7f70cde940fb9642e
# Parent  b76300a0229a349ae5130d75d0590456fd7afdbe
support for hiding a dev from live view
Ignore-this: feda54533430f85d451cd824985f3594

diff -r b76300a0229a -r 30cef362bf70 light9/web/live/live.coffee
--- a/light9/web/live/live.coffee	Sat Jun 08 19:13:39 2019 +0000
+++ b/light9/web/live/live.coffee	Sat Jun 08 19:14:41 2019 +0000
@@ -468,6 +468,8 @@
     newDevs = []
     for dc in @graph.sortedUris(@graph.subjects(U('rdf:type'), U(':DeviceClass')))
       for dev in @graph.sortedUris(@graph.subjects(U('rdf:type'), dc))
+        if @graph.contains(dev, U(':hideInLiveUi'), null)
+          continue
         newDevs.push({uri: dev})
 
     #log("controls update now has #{newDevs.length} devices")