From 25c8db16256a55a226d9972fe854d85efdced613 Mon Sep 17 00:00:00 2001 From: Tobias Diekershoff Date: Mon, 27 Nov 2017 18:27:57 +0100 Subject: [PATCH] config tool needed some touch up to work again --- util/config | 41 +++++++++++++++++++++++++++++++++++------ 1 file changed, 35 insertions(+), 6 deletions(-) diff --git a/util/config b/util/config index 3057b87931..7774fb6023 100644 --- a/util/config +++ b/util/config @@ -1,13 +1,38 @@ #!/usr/bin/env php 3) { Config::set($argv[1],$argv[2],$argv[3]); @@ -19,9 +44,13 @@ if($argc == 3) { } if($argc == 2) { - load_config($argv[1]); - foreach($a->config[$argv[1]] as $k => $x) { - echo "config[{$argv[1]}][{$k}] = " . $x . "\n"; + Config::load($argv[1]); + if (!is_null($a->config[$argv[1]])) { + foreach($a->config[$argv[1]] as $k => $x) { + echo "config[{$argv[1]}][{$k}] = " . $x . "\n"; + } + } else { + echo "config section '$argv[1]' returned nothing.\n"; } }