[plug] persuading pump --status to print reserved/custom options?

[Craig Ringer]

> Anybody have any idea how to get pump, when called with --status, to 
> print out custom DHCP options like option-128 - option-254 (reserved for 
> private use)

Sorry for the reply-to-self but in desparation I did an "apt-get source 
pump" and had a quick look over the source. From my (limited) 
understanding of C, looks like it doesn't understand any DHCP options 
other than those it prints, and doesn't even accept them. *sigh*.

So it looks like time for me to sit down this evening and see if I can 
modify pump to handle the options I want. If anybody has already done 
this or (even better) can tell me I'm being an idiot and don't need to 
modify pump, now would be a _wonderful_ time to speak up.

-- 
Craig Ringer
GPG Key Fingerprint: AF1C ABFE 7E64 E9C8 FC27  C16E D3CE CDC0 0E93 380D
	-- if it ain't broke, add features 'till it is. (or:)
	while (! broken) { features ++ ; broken = isBroken(features) }