Property definitions

curl $ NativeCurlCallbacks :: header_callback
	fun header_callback(buffer: String) do end
lib/curl/native_curl.nit:264,2--43

curl $ MyHttpFetcher :: header_callback
	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

curl $ CurlResponseSuccessIntern :: header_callback
	# Receive headers from request due to headers callback registering
	redef fun header_callback(line)
	do
		var splitted = line.split_with(':')
		if splitted.length > 1 then
			var key = splitted.shift
			self.headers[key] = splitted.to_s
		end
	end
lib/curl/curl.nit:556,2--564,4