From 4b3fc0e7413424e27131dd8dd919423711f097ad Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Tue, 18 Aug 2015 08:46:35 -0700
Subject: Use a nice warning symbol in some warning messages

This is useful because trigger-related messages can contain quite a bit of
information, especially if they include info about multiple split quantifiers.
---
 Source/DafnyServer/Server.cs    | 4 +++-
 Source/DafnyServer/Utilities.cs | 5 +++--
 2 files changed, 6 insertions(+), 3 deletions(-)

(limited to 'Source/DafnyServer')

diff --git a/Source/DafnyServer/Server.cs b/Source/DafnyServer/Server.cs
index 74cdd8c2..bdfd66b4 100644
--- a/Source/DafnyServer/Server.cs
+++ b/Source/DafnyServer/Server.cs
@@ -33,11 +33,13 @@ namespace Microsoft.Dafny {
     public Server() {
       this.running = true;
       Console.CancelKeyPress += this.CancelKeyPress;
+      Console.InputEncoding = System.Text.Encoding.UTF8;
+      Console.OutputEncoding = System.Text.Encoding.UTF8;
       ExecutionEngine.printer = new DafnyConsolePrinter();
     }
 
     void CancelKeyPress(object sender, ConsoleCancelEventArgs e) {
-      e.Cancel = true;
+      // e.Cancel = true;
       // FIXME TerminateProver and RunningProverFromCommandLine
       // Cancel the current verification? TerminateProver() ? Or kill entirely?
     }
diff --git a/Source/DafnyServer/Utilities.cs b/Source/DafnyServer/Utilities.cs
index 8fb03b05..4b06e9f5 100644
--- a/Source/DafnyServer/Utilities.cs
+++ b/Source/DafnyServer/Utilities.cs
@@ -45,13 +45,14 @@ namespace Microsoft.Dafny {
 
     internal static void ApplyArgs(string[] args) {
       Dafny.DafnyOptions.Install(new Dafny.DafnyOptions());
+      Dafny.DafnyOptions.O.ProverKillTime = 10;
 
       if (CommandLineOptions.Clo.Parse(args)) {
         // Dafny.DafnyOptions.O.ErrorTrace = 0; //FIXME
         // Dafny.DafnyOptions.O.ModelViewFile = "-";
-        Dafny.DafnyOptions.O.ProverKillTime = 10;
-        Dafny.DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
+        Dafny.DafnyOptions.O.UnicodeOutput = true;
         Dafny.DafnyOptions.O.VerifySnapshots = 2;
+        Dafny.DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
       } else {
         throw new ServerException("Invalid command line options");
       }
-- 
cgit v1.2.3