Yes, I switched to pump as well, but only because dhclient stopped working one day (after I did something it didn't like, no doubt). For some unknown reason, pump worked where dhclient didn't, so I stuck with it.
I'll post back if I figure it out. B. <snip> >if you are using pump for dhcp you should be aware of bug >#121126 > >http://bugs.debian.org/cgi-bin/bugreport.cgi?archive=no&bug=121126 >
