fun header_callback(buffer: String) do end
lib/curl/native_curl.nit:264,2--43
redef fun header_callback(line) do
# We keep this callback silent for testing purposes
#if not line.has_prefix("Date:") then print "Header_callback: {line}"
end
lib/curl/examples/curl_http.nit:29,2--32,4