mirage/mirage-tcpip — pull request #55 by avsm (2014-06-18 10:33:17+00:00)
Title: Further tidyups to #53 fix

Tidyups to 3722f0457a2782814455dcd8f5608c695062d05d and #53 fix

* Add some comments about how the DHCP thread should background
* Do not `choose` between listen/configure, since that causes a
cancellation when one succeeds.