Re: [PATCH] Remove unused db_lookup_port

Applied, thanks! Flavio Cruz, le lun. 09 janv. 2023 00:27:30 -0500, a ecrit: > --- > ddb/db_print.c | 17 - > 1 file changed, 17 deletions(-) > > diff --git a/ddb/db_print.c b/ddb/db_print.c > index 6d4c59d3..3fbafe74 100644 > --- a/ddb/db_print.c > +++ b/ddb/db_print.c > @@ -480

[PATCH] Remove unused db_lookup_port

--- ddb/db_print.c | 17 - 1 file changed, 17 deletions(-) diff --git a/ddb/db_print.c b/ddb/db_print.c index 6d4c59d3..3fbafe74 100644 --- a/ddb/db_print.c +++ b/ddb/db_print.c @@ -480,23 +480,6 @@ db_port_iterate(const thread_t thread, void (*func)(int, const ipc_port_t, unsig