fixed root name when there's no file

This commit is contained in:
nadrad 2023-04-20 08:50:00 +02:00
parent 1266938001
commit bc127bf619

2
h-m-m
View file

@ -2528,7 +2528,7 @@ function load_empty_map(&$mm)
]
;
$title = basename( $mm['filename'] ?? 'root' );
$title = basename( empty($mm['filename']) ? 'root' : $mm['filename'] );
if (substr($title,-4)=='.hmm')
$title = substr($title,0,-4);