From b4063352cf29dfecb5b2f878e18310049fe7c297 Mon Sep 17 00:00:00 2001
From: lethosor <lethosor@gmail.com>
Date: Sun, 3 Jul 2016 23:33:07 -0400
Subject: [PATCH] Fix crash in vprinterr due to va_list misuse

---
 library/ColorText.cpp | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/library/ColorText.cpp b/library/ColorText.cpp
index 359b717e6..7f417e0a8 100644
--- a/library/ColorText.cpp
+++ b/library/ColorText.cpp
@@ -126,10 +126,18 @@ void color_ostream::vprinterr(const char *format, va_list args)
     color_value save = cur_color;
 
     if (log_errors_to_stderr)
-        vfprintf(stderr, format, args);
+    {
+        va_list args1;
+        va_copy(args1, args);
+        vfprintf(stderr, format, args1);
+        va_end(args1);
+    }
 
     color(COLOR_LIGHTRED);
-    vprint(format, args);
+    va_list args2;
+    va_copy(args2, args);
+    vprint(format, args2);
+    va_end(args2);
     color(save);
 }