This repository has been archived on 2023-02-07. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Francesco Siddi 480419127d Server: new default configuration ...

We are providing a fully working configuration for base use, plus a
docker specific one, which overrides the base if the IS_DOCKER
environment variable is specified.

2015-11-28 18:39:38 +01:00

..

Dockerfile

Server: new default configuration

2015-11-28 18:39:38 +01:00

manage.sh

Updates for production Docker images

2015-11-27 21:41:11 +01:00

runserver.sh

Server: improved runserver.sh script

2015-11-28 18:05:45 +01:00