Fix #9071: Make sure pkg metadata is updated when repo config changes

This commit is contained in:
Renato Botelho 2018-11-14 09:13:50 -02:00
parent 220063c4d2
commit 4be5ed9f14

View File

@ -41,6 +41,7 @@ require_once("guiconfig.inc");
require_once("functions.inc");
require_once("filter.inc");
require_once("shaper.inc");
require_once("pkg-utils.inc");
$rrddbpath = "/var/db/rrd";
$rrdtool = "/usr/bin/nice -n20 /usr/local/bin/rrdtool";
@ -322,6 +323,7 @@ if ($_POST) {
if ($pkg_repo_restored) {
write_config(gettext("Removing pkg repository set after restoring full configuration"));
pkg_update(true);
}
if (file_exists("/boot/loader.conf")) {