genode-ehmry/repos/gems
Norman Feske 00eb100114 sculpt: gracefully handle missing depot-user info
This patch improves the error handling of depot-download manager for the
case where a download is requested but the corresponding software
provider information is absent from the depot. Without this patch, the
update mechanism would get stuck in the failed depot-query step and
won't attempt to perform subsequent download jobs.

Fixes #3224
2019-03-18 15:56:24 +01:00
..
include depot_download: support downloading index files 2019-02-28 11:34:06 +01:00
lib Remove COW VFS plugin 2018-08-28 16:45:24 +02:00
recipes depot: update recipe hashes 2019-02-28 11:34:45 +01:00
run sculpt: fine-tune motion of graph positioning 2019-03-18 15:56:24 +01:00
src sculpt: gracefully handle missing depot-user info 2019-03-18 15:56:24 +01:00
README Remove repos/qt4, fix #1451 2015-03-19 08:57:20 +01:00

This directory is a source-code repository containing Genode-specific
services and applications. In contrast to the components that come with
the 'os' repository, programs contained in 'gems' are able to leverage
the functionalities provided by higher-level repositories such as 'libports'.
To use the 'gems' repository, make sure to also add those repositories to your
build configuraion.