host names are not resolved

  I have tried the following in the gpxe command interface (shell):

    dhcp    net0
    kernel  http://192.168.1.2/index.html
    kernel  http://my.web.server/index.html

  The command with the explicit IP loads the file in the sense that 
it prints OK.  The one with the web server hostname doesn't load it.  
It times out.  
  The config command proves that the name server was obtained by dhcp 
correctly.  I have no problems with that name server with other machines
in the lan.  my.web.server resolves correctly. 

  Any suggestions?  How to further isolate the problem?  I can't run a 
debugger.

-- 
[email protected]
SDF Public Access UNIX System - http://sdf.lonestar.org

------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay 
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference