[Settings] Add named setting for next-server
authorMichael Brown <mcb30@etherboot.org>
Mon, 24 Mar 2008 00:48:06 +0000 (00:48 +0000)
committerMichael Brown <mcb30@etherboot.org>
Mon, 24 Mar 2008 00:48:06 +0000 (00:48 +0000)
commit8f00c84828bfdd708aa3dc299755300b99bf457b
treecfd5ac2f2bff771cbdf0031d6d2ebc35019148bd
parentc06e6d063582a96982449b0238b0081ae8da0114
[Settings] Add named setting for next-server

It's probably easier to have a named setting for next-server, rather
than to explain to people why they need to pretend it is option 175.3.
src/core/settings.c