# HG changeset patch
# User Bartha Mihai <mihai.bartha@ait.ac.at>
# Date 1415719143 -3600
# Node ID 5547ed24adf36878a309471a4eb81c19aed7467d
# Parent  9e778cb746e24fb775136a791777eb0d2f3958ba
fixed small problem with format menu update

diff -r 9e778cb746e2 -r 5547ed24adf3 OpenSecurity/bin/opensecurity_tray.pyw
--- a/OpenSecurity/bin/opensecurity_tray.pyw	Tue Nov 11 15:26:33 2014 +0100
+++ b/OpenSecurity/bin/opensecurity_tray.pyw	Tue Nov 11 16:19:03 2014 +0100
@@ -231,10 +231,6 @@
                                 
             for m in machines:
 
-                # do not insert Browsing VM
-                if u'SecurityDVM0' in m:
-                    continue
-                
                 properties = json.load(urllib2.urlopen('http://127.0.0.1:8080/sdvms/' + m))
                 if 'USBAttachedUUID1' in properties and properties['USBAttachedUUID1'] != None: 
                     a = self._menu_format.addAction(m + '\\\\' + machines[m])