From abab02750e30d680b59e035a6ad4a3efd4b868b4 Mon Sep 17 00:00:00 2001
From: Thad Guidry <thadguidry@gmail.com>
Date: Thu, 4 Jan 2018 14:12:58 -0600
Subject: [PATCH] Adding "server_test_debug" option for more logging

---
 refine.bat | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/refine.bat b/refine.bat
index cef25a7ee..8c05868d8 100644
--- a/refine.bat
+++ b/refine.bat
@@ -197,6 +197,7 @@ rem ----- Respond to the action ------------------------------------------------
 set ACTION=%1
 
 if ""%ACTION%"" == ""build"" goto doAnt
+if ""%ACTION%"" == ""server_test_debug"" goto doAntDebug
 if ""%ACTION%"" == ""server_test"" goto doAnt
 if ""%ACTION%"" == ""extensions_test"" goto doAnt
 if ""%ACTION%"" == ""clean"" goto doAnt
@@ -224,4 +225,8 @@ echo.
 "%ANT_HOME%\bin\ant.bat" -f build.xml %ACTION%
 goto end
 
+:doAntDebug
+"%ANT_HOME%\bin\ant.bat" -f -v -diagnostics build.xml %ACTION%
+goto end
+
 :end