diff options
Diffstat (limited to 'org/in_source_files.org')
| -rw-r--r-- | org/in_source_files.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org/in_source_files.org b/org/in_source_files.org index ef4cafd..6916f52 100644 --- a/org/in_source_files.org +++ b/org/in_source_files.org @@ -141,7 +141,7 @@ webserv: try { if (exists(conf_file)) { if (conf_file.getLinkAttributes.attrIsFile) { - if (_opt_action.verbose || _opt_action.very_verbose || _opt_action.debug_do) { + if (_opt_action.vox_gt1 || _opt_action.debug_do) { writeln("config file used: \"", conf_file, "\" (cli flag settings override config file's individual settings)"); } config_file_str = conf_file.readText; |