A simple Play server that serves documentation. Used by the Play documentation
project. This class is not used by the Play SBT plugin because the plugin needs
to create a server that embeds both the user application and the Play documentation
application.
A simple Play server that serves documentation. Used by the Play documentation project. This class is not used by the Play SBT plugin because the plugin needs to create a server that embeds both the user application and the Play documentation application.