diff options
| -rwxr-xr-x | usr/local/www/pkg_mgr_install.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/usr/local/www/pkg_mgr_install.php b/usr/local/www/pkg_mgr_install.php index 8659b8e..811f172 100755 --- a/usr/local/www/pkg_mgr_install.php +++ b/usr/local/www/pkg_mgr_install.php @@ -141,7 +141,6 @@ switch($_GET['mode']) { update_output_window(file_get_contents("/tmp/pkg_mgr_{$id}.log")); break; case "reinstallxml": - case "reinstallpkg": delete_package_xml(htmlspecialchars($_GET['pkg'])); if (install_package(htmlspecialchars($_GET['pkg'])) < 0) { update_status(gettext("Package reinstallation failed.")); @@ -184,6 +183,9 @@ switch($_GET['mode']) { update_output_window($static_output); filter_configure(); break; + case "reinstallpkg": + update_status(gettext("Reinstall package {$_GET['pkg']}.")); + uninstall_package($_GET['pkg']); default: $status = install_package(htmlspecialchars($_GET['id'])); if($status == -1) { |
