diff --git a/usr/local/www/system_firmware.php b/usr/local/www/system_firmware.php
index f3d112e86e..8fd965f9ee 100755
--- a/usr/local/www/system_firmware.php
+++ b/usr/local/www/system_firmware.php
@@ -49,15 +49,19 @@ if(file_exists($d_firmwarelock_path)) {
exit;
}
+if($_POST['kerneltype']) {
+ if($_POST['kerneltype'] == "single")
+ system("touch /boot/kernel/pfsense_kernel.txt");
+ else
+ system("echo {$_POST['kerneltype']} > /boot/kernel/pfsense_kernel.txt");
+}
+
/* Handle manual upgrade */
if ($_POST && !file_exists($d_firmwarelock_path)) {
unset($input_errors);
unset($sig_warning);
- if($_POST['kerneltype'])
- system("echo {$_POST['kerneltype']} > /boot/kernel/pfsense_kernel.txt");
-
if (stristr($_POST['Submit'], "Enable"))
$mode = "enable";
else if (stristr($_POST['Submit'], "Disable"))
@@ -192,14 +196,16 @@ print_info_box($sig_warning);
'";
- echo "";
+ echo "Please select kernel type: ";
+ echo "";
}
}
+ echo "
";
?>