server/opensecurityd.py
changeset 12 11dc05750aea
parent 7 903480cebdfb
     1.1 --- a/server/opensecurityd.py	Tue Dec 03 18:04:46 2013 +0100
     1.2 +++ b/server/opensecurityd.py	Fri Dec 06 10:47:26 2013 +0100
     1.3 @@ -111,9 +111,11 @@
     1.4      """OpenSecurity '/device_change' handler"""
     1.5      
     1.6      def GET(self):
     1.7 +        print 'received device_change'
     1.8          gvm_mgr.cygwin_path = 'c:\\cygwin64\\bin\\'
     1.9 +        gvm_mgr.handleDeviceChange()
    1.10 +        
    1.11          #gvm_mgr.configureHostNetworking()
    1.12 -        print 'received device_change'
    1.13          return "os_device_change"
    1.14  
    1.15