From d15b39620207924d7903090761ff0a638002cf85 Mon Sep 17 00:00:00 2001 From: Boris Mulder Date: Mon, 26 Feb 2018 14:21:46 +0100 Subject: [PATCH] fetchurl: fail on error --- repos/libports/src/app/fetchurl/component.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/repos/libports/src/app/fetchurl/component.cc b/repos/libports/src/app/fetchurl/component.cc index 6913d7e6f..08d51f123 100644 --- a/repos/libports/src/app/fetchurl/component.cc +++ b/repos/libports/src/app/fetchurl/component.cc @@ -120,6 +120,7 @@ static int fetchurl(Genode::Xml_node config_node) curl_easy_setopt(curl, CURLOPT_VERBOSE, verbose); curl_easy_setopt(curl, CURLOPT_NOSIGNAL, true); + curl_easy_setopt(curl, CURLOPT_FAILONERROR, 1L); curl_easy_setopt(curl, CURLOPT_WRITEFUNCTION, write_callback); curl_easy_setopt(curl, CURLOPT_WRITEDATA, &fd);