diff -r 7af3aaeb42e9 -r 573f1fff48b2 GUI/MainForm.cs
--- a/GUI/MainForm.cs	Sat Aug 11 21:48:54 2012 +0000
+++ b/GUI/MainForm.cs	Sun Sep 23 18:37:43 2012 +0000
@@ -290,6 +290,7 @@
 
       // Make sure the settings are saved when the user logs off
       Microsoft.Win32.SystemEvents.SessionEnded += delegate {
+        computer.Close();
         SaveConfiguration();
         if (runWebServer.Value) 
             server.Quit();