From a04eb8739e14c2f322c58d79280e376ed0e49a21 Mon Sep 17 00:00:00 2001
From: Scott Ullrich <sullrich@pfsense.org>
Date: Sat, 10 Nov 2007 02:29:21 +0000
Subject: Correctly define Developers kernel option.

---
 usr/local/www/system_firmware.php | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'usr/local/www/system_firmware.php')

diff --git a/usr/local/www/system_firmware.php b/usr/local/www/system_firmware.php
index 8d7e6a6..807e0cf 100755
--- a/usr/local/www/system_firmware.php
+++ b/usr/local/www/system_firmware.php
@@ -114,10 +114,6 @@ if ($_POST && !file_exists($d_firmwarelock_path)) {
 				}
 			}
 
-			if(!file_exists("/boot/kernel/pfsense_kernel.txt")) { 
-				
-			}
-
             /* Check for input errors, firmware locks, warnings, then check for firmware if sig_override is set */
             if (!$input_errors && !file_exists($d_firmwarelock_path) && (!$sig_warning || $_POST['sig_override'])) {
                     if (file_exists("{$g['upload_path']}/firmware.tgz")) {
@@ -201,7 +197,7 @@ print_info_box($sig_warning);
 								echo "<option value='single'>Uniprocessor kernel</option>";
 								echo "<option value='SMP'>Multiprocessor kernel</option>";
 								echo "<option value='wrap'>Embedded kernel</option>";
-								echo "<option value='wrap'>Developers kernel</option>";
+								echo "<option value='Developers'>Developers kernel</option>";
 								echo "</select>";
 								echo "<br><br>";
 							}
-- 
cgit v1.1