7.1.1 Docker Domserver Invalid credentials for admin/admin

[bumfo]

Description of the problem

The default password described in docker document is invalid for domserver 7.1.1 on docker

Your environment

Include details about your installation here.

• DOMjudge version 7.1.1
• Operating system Windows 10 Docker
• nginx

Steps to reproduce

Replace this with a description how we can reproduce your bug.

• Follow the steps at https://hub.docker.com/r/domjudge/domserver/
• Open localhost:12345/login
• Try to login with admin/admin as described in the tutorial,

Expected behaviour

successfully login.

Actual behaviour

get Invalid credentials.

Any other information that you want to share?

domserver:latest

[bumfo]

I think adding some command line to quickly add an admin account is more convenient, like manage.py createsuperuser in Django.

[bumfo]

I think at least add a line:

docker exec -it domserver cat /opt/domjudge/domserver/etc/initial_admin_password.secret

to guide new users to retrieve initial password, or print that password when initial docker run should be more friendly.

at least the tutorial should be updated.

[nickygerritsen]

Yes the documentation is indeed outdated. I will update it.