// This can be regenerated with the following command: // dot -Tpdf -o HttpStateGraph.pdf HttpStateGraph.gv digraph { server_init[label = "ServerInit"]; listening[label = "Listening"]; server_init -> listening [label = " Activate"]; listening -> listening [label = " Request"]; }