config ghttpd option 'enabled' '1' option port '80'