[Bug 304265] New: dhcdbd: dhco_parse_option_settings: bad option setting: old_server_name =