tree a84a71d3bdb73a5730dfc93ea171685a51181ed7
parent 3650fc4a5b51393cef5cdb3e475f929c0728a315
author Thomas Vachuska <tom@onlab.us> 1432772817 -0700
committer Gerrit Code Review <gerrit@onlab.us> 1432773185 +0000

GUI -- Fixed a shut-down exception by explicitly closing all web-sockets on shutdown.

Change-Id: I3264a9029f36fdba150a3d729a2dd8c9024805d3