tree 3f06f0e0b38346a4a16ff24bef9d3fa19c72374a
parent 78ee25ce77c3438dbd9c53ce2fb1cc2ce8c3156e
author Thomas Vachuska <tom@onlab.us> 1437758074 -0700
committer Thomas Vachuska <tom@onlab.us> 1437758287 -0700

GUI -- Preventing UI web-socket from attempting to re-open when shutdown.

Change-Id: I4851542d20a3e20b085d42f1fa235909d42f05eb