Cleanup a number of FIXMEs that I had left in the code

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;