> There are some pretty lightweight DHCP relays out there could act as a > reasonable starting point to write this in myself; and its looking > increasingly likely I'll have to do that.
https://github.com/mirceaulinic/py-dhcp-relay seems to allow different ports to be set for client and server traffic.
