From bad5be893d8a2fcfc7cd6c8cccba6c5ef2f99624 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Wed, 30 Sep 2020 11:02:58 +0200
Subject: [PATCH] check env var SEEDDMS_CONFIG_FILE for config file

---
 inc/inc.Settings.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/inc/inc.Settings.php b/inc/inc.Settings.php
index c3705d77e..0531a16d6 100644
--- a/inc/inc.Settings.php
+++ b/inc/inc.Settings.php
@@ -21,6 +21,8 @@
 require_once('inc.ClassSettings.php');
 if(defined("SEEDDMS_CONFIG_FILE"))
 	$settings = new Settings(SEEDDMS_CONFIG_FILE);
+elseif(getenv("SEEDDMS_CONFIG_FILE"))
+	$settings = new Settings(getenv("SEEDDMS_CONFIG_FILE"));
 else
 	$settings = new Settings();
 if(!defined("SEEDDMS_INSTALL") && file_exists(dirname($settings->_configFilePath)."/ENABLE_INSTALL_TOOL")) {