diff options
Diffstat (limited to 'src/usr/local/www/pkg_edit.php')
| -rw-r--r-- | src/usr/local/www/pkg_edit.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/usr/local/www/pkg_edit.php b/src/usr/local/www/pkg_edit.php index 0609200..a18303d 100644 --- a/src/usr/local/www/pkg_edit.php +++ b/src/usr/local/www/pkg_edit.php @@ -85,9 +85,10 @@ if ($_POST['xml']) { $xml_fullpath = realpath('/usr/local/pkg/' . $xml); -if ($xml == "" || $xml_fullpath === false || - substr($xml_fullpath, 0, strlen('/usr/local/pkg/')) != '/usr/local/pkg/') { +if ($xml == "" || $xml_fullpath === false || substr($xml_fullpath, 0, strlen('/usr/local/pkg/')) != '/usr/local/pkg/') { + include("head.inc"); print_info_box_np(gettext("ERROR: No valid package defined.")); + include("foot.inc"); die; } else { $pkg = parse_xml_config_pkg($xml_fullpath, "packagegui"); |
