From 96b8dd1f5e92df0f7a7d0de7f1ec208c80760c9d Mon Sep 17 00:00:00 2001
From: Franklin Wei <git@fwei.tk>
Date: Sun, 24 May 2015 21:48:39 -0400
Subject: Change batch mode

---
 src/globals.h | 1 +
 src/menu.c    | 2 ++
 src/util.c    | 8 ++------
 3 files changed, 5 insertions(+), 6 deletions(-)

(limited to 'src')

diff --git a/src/globals.h b/src/globals.h
index bf37e8b..bb5450e 100644
--- a/src/globals.h
+++ b/src/globals.h
@@ -98,6 +98,7 @@ extern bool have_color;
 /* restricted mode disables things that would be considered "dangerous" when
    used in a web-facing script such as interactive loading/saving */
 extern bool restricted;
+extern bool batch_mode;
 
 #define COL_NORM 0
 #define COL_RED 1
diff --git a/src/menu.c b/src/menu.c
index fe188da..2c5db53 100644
--- a/src/menu.c
+++ b/src/menu.c
@@ -72,6 +72,8 @@ exec_cmd:
 
     if(best_command >= 0)
     {
+        if(batch_mode)
+            output("\n");
         commands[best_command].handler(player);
         output("\n");
     }
diff --git a/src/util.c b/src/util.c
index e0b7f5b..e5b06f1 100644
--- a/src/util.c
+++ b/src/util.c
@@ -531,13 +531,9 @@ void curses_init(void)
     }
 }
 
-int dummy_output(const char* f, ...)
-{
-    (void) f;
-    return 0;
-}
+bool batch_mode = false;
 
 void batch_init(void)
 {
-    output = dummy_output;
+    batch_mode = true;
 }
-- 
cgit v1.1