From d7be8a0fda358d7877e946fc9feecc527fce9e01 Mon Sep 17 00:00:00 2001
From: moitoius_cp <7bd20ad30720b36bd251fb928c419f8754d57bfcCkJyHhZD>
Date: Tue, 1 Jan 2008 18:00:14 +0000
Subject: [PATCH] Console.ReadLine() now works

---
 source/Cosmos/Cosmos.Kernel.Plugs/Console.cs | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/source/Cosmos/Cosmos.Kernel.Plugs/Console.cs b/source/Cosmos/Cosmos.Kernel.Plugs/Console.cs
index 8839207d7..5a6945c65 100644
--- a/source/Cosmos/Cosmos.Kernel.Plugs/Console.cs
+++ b/source/Cosmos/Cosmos.Kernel.Plugs/Console.cs
@@ -49,7 +49,13 @@ namespace Cosmos.Kernel.Plugs {
 				Write (current);
 			}
 			WriteLine ();
-			return new string(chars.ToArray());
+
+			// HACK: Should use .ToArray here.
+			char[] final = new char[chars.Count];
+			for (int i = 0; i < final.Length; i++)
+				final[i] = chars[i];
+
+			return new string(final);
 		}
 	}
 }