From 918124fb0b2fdf05bf98aee2c74c85387f1d8638 Mon Sep 17 00:00:00 2001
From: Carl Hetherington <cth@carlh.net>
Date: Sun, 4 Feb 2018 23:38:08 +0000
Subject: Listen for server replies on different ports on main and batch, and
 get servers to send replies to both (#1190).

---
 src/lib/util.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/lib/util.cc')

diff --git a/src/lib/util.cc b/src/lib/util.cc
index 8ed878561..68cded2a3 100644
--- a/src/lib/util.cc
+++ b/src/lib/util.cc
@@ -104,6 +104,7 @@ using dcp::locale_convert;
  *  in during App::onInit().
  */
 string program_name;
+bool is_batch_converter = false;
 static boost::thread::id ui_thread;
 static boost::filesystem::path backtrace_file;
 
-- 
cgit v1.2.3