1/*
2 * Copyright 2020, Data61
3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 * ABN 41 687 119 230.
5 *
6 * This software may be distributed and modified according to the terms of
7 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
8 * See "LICENSE_BSD2.txt" for details.
9 *
10 * @TAG(DATA61_BSD)
11 */
12
13#include <picotcp-socket-sync.h>
14#include <camkes.h>
15
16/*- set connection_name = configuration[me.parent.name].get('connection_name') -*/
17
18int picotcp_socket_sync_server_init(ps_io_ops_t *io_ops, int num_clients, register_callback_handler_fn_t callback_handler);
19int picotcp_socket_sync_server_init_late(register_callback_handler_fn_t callback_handler);
20
21unsigned int /*? connection_name ?*/_recv_num_badges(void);
22
23static int init_server_post(ps_io_ops_t *io_ops) {
24    return picotcp_socket_sync_server_init_late(single_threaded_component_register_handler);
25}
26static int init_server_pre(ps_io_ops_t *io_ops) {
27    return picotcp_socket_sync_server_init(io_ops, /*? connection_name ?*/_recv_num_badges(), single_threaded_component_register_handler);
28}
29
30CAMKES_PRE_INIT_MODULE_DEFINE(/*? connection_name ?*/_server_setup2, init_server_pre);
31CAMKES_POST_INIT_MODULE_DEFINE(/*? connection_name ?*/_server_setup, init_server_post);
32