GUI fix

Change-Id: I65f95d0264323b91618c18e4631b060e012287ba
2025-10-15 17:31:31 +02:00 · 2017-11-03 13:05:18 -07:00 · 2017-11-03 13:05:18 -07:00 · bea68cf620
commit bea68cf620
parent 8013c4f7ba
3 changed files with 3 additions and 1 deletions
--- a/web/gui/src/main/webapp/app/fw/util/ee.js
+++ b/web/gui/src/main/webapp/app/fw/util/ee.js
@ -40,6 +40,7 @@
        'hwdoc',
        'acxefcsdgt',
        'pmmn',
+        'ugaryc'
        // Add more beans...
    ];

--- a/web/gui/src/main/webapp/onos.js
+++ b/web/gui/src/main/webapp/onos.js
@ -61,7 +61,8 @@
        '17:7287687967',
        '11:65678869706783687184',
        '1:80777778',
-        '9:72696982'
+        '9:72696982',
+        '7:857165828967'
        // Add more sauce...
    ];

--- a/web/gui/src/main/webapp/raw/ugaryc.foo
+++ b/web/gui/src/main/webapp/raw/ugaryc.foo