From 75b834fde6b11886ea0711aa4499029ec4145921 Mon Sep 17 00:00:00 2001
From: Paul Chote <pchote@users.noreply.github.com>
Date: Tue, 22 Aug 2017 19:14:06 +0100
Subject: [PATCH] Parse user.config in fetch-engine.sh.

---
 fetch-engine.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/fetch-engine.sh b/fetch-engine.sh
index 4ad5fe4..0e53acd 100755
--- a/fetch-engine.sh
+++ b/fetch-engine.sh
@@ -11,6 +11,11 @@ TEMPLATE_ROOT=$(dirname "${TEMPLATE_LAUNCHER}")
 # shellcheck source=mod.config
 . "${TEMPLATE_ROOT}/mod.config"
 
+if [ -f "${TEMPLATE_ROOT}/user.config" ]; then
+	# shellcheck source=user.config
+	. "${TEMPLATE_ROOT}/user.config"
+fi
+
 CURRENT_ENGINE_VERSION=$(cat "${ENGINE_DIRECTORY}/VERSION" 2> /dev/null)
 
 if [ -f "${ENGINE_DIRECTORY}/VERSION" ] && [ "${CURRENT_ENGINE_VERSION}" = "${ENGINE_VERSION}" ]; then