From cab3f4502b42031b08912092e92058c639ee27bb Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Sun, 27 Aug 2006 01:37:58 +0000
Subject: [PATCH] Correct option number for DHCP_DNS_SERVERS, and add it to the
 request list.

---
 src/include/gpxe/dhcp.h | 2 +-
 src/net/udp/dhcp.c      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/include/gpxe/dhcp.h b/src/include/gpxe/dhcp.h
index 10e42319..79df5fc7 100644
--- a/src/include/gpxe/dhcp.h
+++ b/src/include/gpxe/dhcp.h
@@ -57,7 +57,7 @@
 #define DHCP_ROUTERS 3
 
 /** DNS servers */
-#define DHCP_DNS_SERVERS 4
+#define DHCP_DNS_SERVERS 6
 
 /** Host name */
 #define DHCP_HOST_NAME 12
diff --git a/src/net/udp/dhcp.c b/src/net/udp/dhcp.c
index cd8a159e..af32f213 100644
--- a/src/net/udp/dhcp.c
+++ b/src/net/udp/dhcp.c
@@ -55,7 +55,7 @@ static uint8_t dhcp_request_options_data[] = {
 	DHCP_STRING (  'E', 't', 'h', 'e', 'r', 'b', 'o', 'o', 't' ),
 	DHCP_PARAMETER_REQUEST_LIST,
 	DHCP_OPTION ( DHCP_SUBNET_MASK, DHCP_ROUTERS, DHCP_HOST_NAME,
-		      DHCP_BOOTFILE_NAME, DHCP_EB_ENCAP ),
+		      DHCP_BOOTFILE_NAME, DHCP_DNS_SERVERS, DHCP_EB_ENCAP ),
 	DHCP_END
 };