diff options
| -rw-r--r-- | modules-available/minilinux/page.inc.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/modules-available/minilinux/page.inc.php b/modules-available/minilinux/page.inc.php index ce222b08..bf66f750 100644 --- a/modules-available/minilinux/page.inc.php +++ b/modules-available/minilinux/page.inc.php @@ -191,6 +191,9 @@ class Page_MiniLinux extends Page } elseif ($ver['installed'] != MiniLinux::INSTALL_OK && $verify) { MiniLinux::setInstalledState($versionid, MiniLinux::INSTALL_OK); } + if ((!$valid || !$verify) && $ver['installed'] != MiniLinux::INSTALL_MISSING) { + $data['delete_button'] = true; + } } if ($data['dltask'] !== null || $ver['installed'] != MiniLinux::INSTALL_MISSING) { MiniLinux::checkStage4($data, $data['s4_errors']); |