Bug#711799: PXE error: no server is specified

[Steven Chamberlain]

A minimal build of upstream grub-2.02-beta2 did *not* seem to show this
hang/reboot.  From their Git I checked out that version and then:

$ ./configure --disable-efiemu --disable-grub-mkfont
--disable-grub-themes --disable-grub-mount --disable-liblzma && make

$ grub-mkimage -d grub-core --format=i386-pc-pxe --output=grub.pxe
--prefix='(pxe)/boot/grub' pxe

$ qemu-system-i386 -net nic -net user,bootfile=grub.pxe,tftp=.

this gets me to a rescue shell as expected.  Debian wheezy's packaging
of 1.99 works the same way.

But Debian packages 2.00-1 through 2.02~beta2-11, hang.

Regards,
-- 
Steven Chamberlain
steven at pyro.eu.org