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