From 6125766c8164474c4edf45645e00132d2a0bcc76 Mon Sep 17 00:00:00 2001
From: gaschler <gaschlera@gmail.com>
Date: Thu, 4 Jan 2018 13:51:30 +0100
Subject: [PATCH] Define default num_event_threads config. (#785)

(This was not covered by tests because they manually set it to 1.)
---
 configuration_files/map_builder_server.lua | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/configuration_files/map_builder_server.lua b/configuration_files/map_builder_server.lua
index da965f1..b907eb2 100644
--- a/configuration_files/map_builder_server.lua
+++ b/configuration_files/map_builder_server.lua
@@ -14,10 +14,9 @@
 
 include "map_builder.lua"
 
-options = {
+MAP_BUILDER_SERVER = {
   server_address = "0.0.0.0:50051",
+  num_event_threads = 4,
   num_grpc_threads = 4,
   map_builder = MAP_BUILDER,
 }
-
-return options