websrv_output_headers   75 source4/web_server/web_server.c 	websrv_output_headers(web, status, NULL);
websrv_output_headers   95 source4/web_server/wsgi.c 	websrv_output_headers(web, status, headers);