Merge branch 'master' into Patron

2019-09-19 11:34:09 -07:00
parent aec03840cc dbcd696936
commit c96e7a284a
7 changed files with 111 additions and 14 deletions
--- a/Torch.Server/Initializer.cs
+++ b/Torch.Server/Initializer.cs
@@ -254,6 +254,7 @@ quit";

        private void HandleException(object sender, UnhandledExceptionEventArgs e)
        {
+            _server.FatalException = true;
            var ex = (Exception)e.ExceptionObject;
            LogException(ex);
            if (MyFakes.ENABLE_MINIDUMP_SENDING)