bump to Recorder 0.8.1

2026-08-26 10:37:17 +00:00 · 2019-01-10 16:32:29 +01:00
parent 49a58c782c
commit 0630ca475e
2 changed files with 3 additions and 1 deletions
@@ -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 \
@@ -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