dice-server The MARTI dice server. Getting Started Setup and deployment Web server configuration Docker development environment Starting and Stopping sudo service nginx restart