Programm terminiert jetzt beim schließen

src/Receiver.cs

@@ -27,8 +27,12 @@ namespace WorldOfPeacecraft
 		private void doReceive ()
 		{
 			this.Reader = new StreamReader (Client.GetStream ());
-			while (true) {
-				ReceiverBuffer.AddLine(Receive());
+			try {
+				while (true) {
+					ReceiverBuffer.AddLine (Receive ());
+				}
+			} catch (ObjectDisposedException e) {
+				// Nothing to do
 			}
 		}
 
@@ -36,10 +40,5 @@ namespace WorldOfPeacecraft
 		{
 			ReceiverThread.Start ();
 		}
-
-		public void Stop()
-		{
-			ReceiverThread.Abort ();
-		}
 	}
 }