Willy Tarreau 0b0aefe19b MINOR: server: add server_get_next_id() to find next free server ID
This was previously achieved via the generic get_next_id() but we'll soon
get rid of generic ID trees so let's have a dedicated server_get_next_id().
As a bonus it reduces the exposure of the tree's root outside of the functions.
2025-09-16 09:23:46 +02:00
..
2023-08-01 10:49:06 +02:00
2024-05-16 10:31:17 +02:00
2024-11-29 07:22:32 +01:00
2025-04-30 17:00:27 +02:00
2024-12-10 16:04:11 +01:00
2022-11-29 15:14:39 +01:00
2025-01-30 18:12:40 +01:00
2024-12-12 11:19:10 +01:00
2024-07-12 15:27:04 +02:00
2024-08-07 15:40:52 +02:00
2025-05-28 16:46:34 +02:00