From 0630ca475e32b3a5183dc924aac0b93bdace5ab6 Mon Sep 17 00:00:00 2001
From: Jan-Piet Mens <jp@mens.de>
Date: Thu, 10 Jan 2019 16:32:29 +0100
Subject: [PATCH] bump to Recorder 0.8.1

---
 Dockerfile | 2 +-
 config.mk  | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index aac9d93..4e4248a 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -8,7 +8,7 @@ COPY config.mk /config.mk
 COPY recorder.conf /etc/default/recorder.conf
 COPY recorder-health.sh /usr/local/sbin/recorder-health.sh
 
-ENV VERSION=0.8.0
+ENV VERSION=0.8.1
 
 RUN apk add --no-cache --virtual .build-deps \
         curl-dev libconfig-dev make \
diff --git a/config.mk b/config.mk
index d99041b..34f4125 100644
--- a/config.mk
+++ b/config.mk
@@ -54,6 +54,8 @@ DOCROOT = /htdocs
 
 GHASHPREC = 7
 
+GEOCODE_TIMEOUT = 4000
+
 # Should the JSON emitted by recorder be indented? (i.e. beautified)
 # yes or no
 JSON_INDENT ?= no