From 71075d4570a6be41686c9f8f1a403afce845bdd4 Mon Sep 17 00:00:00 2001 From: Alexandre Terrasa Date: Sat, 15 Jun 2019 14:55:35 -0400 Subject: [PATCH 1/1] config: Update to new INI api Signed-off-by: Alexandre Terrasa --- lib/config/config.nit | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/config/config.nit b/lib/config/config.nit index da03f7c..f07ec47 100644 --- a/lib/config/config.nit +++ b/lib/config/config.nit @@ -299,7 +299,7 @@ class IniConfig super Config # Config tree used to store config options - var ini: ConfigTree is noinit + var ini: IniFile is noinit # Path to app config file var opt_config = new OptionString("Path to config file", "--config") @@ -311,7 +311,7 @@ class IniConfig redef fun parse_options(args) do super - ini = new ConfigTree(config_file) + ini = new IniFile.from_file(config_file) end # Default config file path -- 1.7.9.5