mirror/webgui
1
0
Fork 0
mirror of https://github.com/unraid/webgui.git synced 2026-01-14 13:39:58 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #798 from Squidly271/patch-4

Browse Source 
Protect GUI from invalid .page files
This commit is contained in:
tom mortensen
2021-03-08 09:56:04 -08:00
committed by GitHub
parent d69d70b1e5 b64cdd68a3
commit fd43022197
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
plugins/dynamix/include/PageBuilder.php
View File

@@ -31,7 +31,8 @@ function build_pages($pattern) {
global $site;
foreach (glob($pattern,GLOB_NOSORT) as $entry) {
[$header, $content] = explode("---\n", file_get_contents($entry),2);
$page = parse_ini_string($header);
$page = @parse_ini_string($header);
if ( ! $page ) exec("logger -t 'webGUI' Invalid .page format: $entry");
$page['file'] = $entry;
$page['root'] = dirname($entry);
$page['name'] = basename($entry, '.page');