From 32753c3f696182ee9abc6d606daa7c8e1c410118 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 18 Mar 2020 15:03:38 +0100
Subject: [PATCH] Use HTTPS in fetchurl test

HTTPS is standard today and HTTP the exception.
---
 repos/libports/run/fetchurl.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/run/fetchurl.inc b/repos/libports/run/fetchurl.inc
index 173376e96..953bba066 100644
--- a/repos/libports/run/fetchurl.inc
+++ b/repos/libports/run/fetchurl.inc
@@ -85,7 +85,7 @@ install_config {
 				<dir name="socket"> <} [socket_fs_plugin] { dhcp="yes"/> </dir>
 			</vfs>
 			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" socket="/socket"/>
-			<fetch url="http://genode.org/about/LICENSE" path="/dev/log" retry="3"/>
+			<fetch url="https://genode.org/about/LICENSE" path="/dev/log" retry="3"/>
 		</config>
 	</start>
 </config>