+void server_release(server_t *server)
+{
+ server_wipe(server);
+ array_add(server_pool, server);
+}
+
+static void server_shutdown(void)
+{
+ printf("Server shutdown");
+ array_deep_wipe(listeners, server_delete);
+ array_deep_wipe(server_pool, server_delete);
+}
+