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();