1 files changed, 1 insertions, 8 deletions
diff --git a/Source/DafnyServer/Server.cs b/Source/DafnyServer/Server.cs
index e524a9a3..77840007 100644
--- a/Source/DafnyServer/Server.cs
+++ b/Source/DafnyServer/Server.cs
@@ -32,9 +32,8 @@ namespace Microsoft.Dafny {
 
     private void SetupConsole() {
       var utf8 = new UTF8Encoding(false, true);
+      Console.InputEncoding = utf8;
       Console.OutputEncoding = utf8;
-      Console.OutputEncoding = utf8;
-      Console.CancelKeyPress += CancelKeyPress;
     }
 
     public Server() {
@@ -43,12 +42,6 @@ namespace Microsoft.Dafny {
       SetupConsole();
     }
 
-    void CancelKeyPress(object sender, ConsoleCancelEventArgs e) {
-      // e.Cancel = true;
-      // FIXME TerminateProver and RunningProverFromCommandLine
-      // Cancel the current verification? TerminateProver()? Or kill entirely?
-    }
-
     bool EndOfPayload(out string line) {
       line = Console.ReadLine();
       return line == null || line == Interaction.CLIENT_EOM_TAG;