9468893048
The REST API now prints individual sessions and servers. It also lists all servers if no specific server is given. The functions directly call the printing functions when they should be using the inter-thread messaging system. When the messaging system is ready, these functions should be updated.