Re: [PATCH] dhcp.cgi: Fix for bug #12050