image/svg+xml queue HTTP_output/ from_mvi init binding listening accepting create_socket/ bind_socket bound_socket/ listen_socket listened_socket/ accept_socket accepted_socket/ create_instance (Socket) instance_created/ start_instance close close/ delete_instance init closed close listening received_socket[not complete] received_socket[complete] waiting transferring [data]/send_socket sent_socket queue HTTP_input/add_to_queue() header payload close [got header] [got payload] / HTTP_output [close] /close close idle executing wait MvS [queue]/ execute() [has request]/ HTTP_input [no request &&stop] / executed [no request &&keep going] HTTP_output queue execute/ add_queue() Socket Server UserStatechart MvK Controller HTTPClient Executor init connecting / create_socket created_socket/ connect_socket connected_socket/ http_client_ready close listen recv_socket received_socket[no data] received_socket[data] waiting transfer [data]/ send_socket sent_socket queue HTTP_input/ add_to_queue() wait header wait payload [got header] [got all data]/ HTTP_output init set_returnpath execute timeout [success] / execute set_input / execute after 5 / execute [fail] / execute fetch set_input / execute() executed / HTTP_input waiting get_output/ add_to_queue() try_execute wait executed[success] [queue]/ get_output() executed [fail] after 1s / create_instance(HTTPClient) instance_created/ start_instance init get root init server init executor http_client_ready/ HTTP_input HTTP_output/ create_instance(Server) instance_created/ start_instance,create_instance(Executor) instance_created/ start_instance queue from_mvi/ add_queue() wait process [unknown_user]/ user_refresh [set_input]/ set_input [get_output]/ get_output [queue] get users wait get links get names process user create user HTTP_input HTTP_output [users]/ HTTP_input HTTP_output/ filter_users() create_instance(UserStatechart) created_instance/ start_instance [no users] [no users] after 5s user_refresh sockets users server executor http_client 1 1 1 1 1 1 1 1 * *