diff options
-rwxr-xr-x | usr/local/www/pkg_mgr_install.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/usr/local/www/pkg_mgr_install.php b/usr/local/www/pkg_mgr_install.php index 8659b8e..06522c2 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,10 @@ switch($_GET['mode']) { update_output_window($static_output); filter_configure(); break; + case "reinstallpkg": + update_status(gettext("Reinstalling package {$_GET['pkg']}")); + uninstall_package($_GET['pkg']); + update_output_window($static_output); default: $status = install_package(htmlspecialchars($_GET['id'])); if($status == -1) { |