Symbol: PUB_DEL
regress/usr.sbin/rpki-client/test-rrdp.c
119
case PUB_DEL:
usr.sbin/rpki-client/main.c
780
if (uri == NULL || (pt != PUB_DEL && dsz == 0))
usr.sbin/rpki-client/repo.c
974
if (pt == PUB_UPD || pt == PUB_DEL) {
usr.sbin/rpki-client/repo.c
996
if (pt == PUB_DEL) {
usr.sbin/rpki-client/rrdp_delta.c
149
pub = PUB_DEL;
usr.sbin/rpki-client/rrdp_util.c
121
case PUB_DEL: