1.1 --- a/OpenSecurity/bin/vmmanager.py	Fri Dec 06 14:32:35 2013 +0100
     1.2 +++ b/OpenSecurity/bin/vmmanager.py	Tue Dec 10 14:04:11 2013 +0100
     1.3 @@ -43,7 +43,7 @@
     1.4      vboxManage = 'VBoxManage'
     1.5      
     1.6      def __init__(self):
     1.7 -        self.cygwin_path = os.path.join(Cygwin.root(), 'bin')
     1.8 +        self.cygwin_path = os.path.join(Cygwin.root(), 'bin') + os.path.sep
     1.9          self.vboxManage = os.path.join(self.getVBoxManagePath(), 'VBoxManage')
    1.10          self.systemProperties = self.getSystemProperties()
    1.11          return
    1.12 @@ -292,6 +292,7 @@
    1.13          self.createVM(new_sdvm)
    1.14          self.genCertificateISO(new_sdvm)
    1.15          self.attachCertificateISO(new_sdvm)
    1.16 +        return new_sdvm
    1.17      
    1.18      # executes command over ssh on guest vm
    1.19      def sshGuestExecute(self, vm_name, prog, user_name='opensec'):