bit
/
taskman_config
25
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Type safety fixes
Publish PHP Package / docker (push) Successful in 6s Details

This commit is contained in:
Семенов Иван 2024-03-07 15:13:52 +03:00
parent d8889de4d0
commit ff4ae2682c
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
config.inc.php
View File

@ -920,6 +920,7 @@ function config_ensure_header(string $conf_dir, string $file, bool $force = fals
$lines = file($file);
$is_success = false;
$lines[0] = config_set_header($lines[0], $conf_id, $alias, $is_success);
if(!$is_success)
throw new Exception("Could not set header for '$file' in line: {$lines[0]}");