[global] server.thread_pool = 10 server.socket_port = 8080