fixed filename argument when there are settings

This commit is contained in:
nadrad 2022-11-08 13:44:15 +01:00
parent 1ba2615f0d
commit 2b5ee46d63

7
h-m-m
View file

@ -183,6 +183,7 @@ const insert_sibling = 0;
const insert_child = 1;
function config(&$mm, $key, $default)
{
$mm[$key] =
@ -440,9 +441,9 @@ function load_file(&$mm)
return;
}
$mm['filename']=$argv[1];
if (!file_exists($argv[1]))
if (isset($mm['arguments']['filename']))
$mm['filename'] = $mm['arguments']['filename'];
else
{
load_empty_map($mm);
return;