diff -r 7094d5dd924b -r 87093432c843 GUI/MainForm.cs
--- a/GUI/MainForm.cs	Sun Oct 28 14:06:50 2012 +0000
+++ b/GUI/MainForm.cs	Sun Oct 28 15:19:45 2012 +0000
@@ -263,11 +263,16 @@
       fahrenheitMenuItem.Checked = !celsiusMenuItem.Checked;
 
       server = new HttpServer(root, this.settings.GetValue("listenerPort", 8085));
+      if (server.PlatformNotSupported) {
+        webMenuItemSeparator.Visible = false;
+        webMenuItem.Visible = false;
+      }
+
       runWebServer = new UserOption("runWebServerMenuItem", false,
         runWebServerMenuItem, settings);
       runWebServer.Changed += delegate(object sender, EventArgs e) {
         if (runWebServer.Value)
-          runWebServer.Value = server.StartHTTPListener();
+          server.StartHTTPListener();
         else
           server.StopHTTPListener();
       };
@@ -293,8 +298,7 @@
         computer.Close();
         SaveConfiguration();
         if (runWebServer.Value) 
-            server.Quit();
-
+          server.Quit();
       };
     }