Before adding a file to the temporary rrdp repo remove it from the
authorclaudio <claudio@openbsd.org>
Tue, 13 Apr 2021 13:35:59 +0000 (13:35 +0000)
committerclaudio <claudio@openbsd.org>
Tue, 13 Apr 2021 13:35:59 +0000 (13:35 +0000)
commit66477c5c62b155efefbad7fcfa8d2004bbb79c4d
treed449121a2907965325cb8f744cdd703c7fd7e7b7
parent386e1c5d83d86781e56a36ce8b230a4180741b79
Before adding a file to the temporary rrdp repo remove it from the
deleted filepath set. A file can only be in one set (deleted or added)
but not on both.
OK benno@
usr.sbin/rpki-client/repo.c