GUI/MainForm.cs
changeset 380 573f1fff48b2
parent 378 64d3ddf8d73b
child 386 7094d5dd924b
     1.1 --- a/GUI/MainForm.cs	Sat Aug 11 21:48:54 2012 +0000
     1.2 +++ b/GUI/MainForm.cs	Sun Sep 23 18:37:43 2012 +0000
     1.3 @@ -290,6 +290,7 @@
     1.4  
     1.5        // Make sure the settings are saved when the user logs off
     1.6        Microsoft.Win32.SystemEvents.SessionEnded += delegate {
     1.7 +        computer.Close();
     1.8          SaveConfiguration();
     1.9          if (runWebServer.Value) 
    1.10              server.Quit();