fix: port 8000 -> 8001 (#5788)

This commit is contained in:
Lars Eggert 2023-06-08 22:15:46 +03:00 committed by GitHub
parent b7dd8b9b95
commit 860e661cf5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -104,7 +104,7 @@ if [ -z "$EDITOR_VSCODE" ]; then
echo
echo "You can execute arbitrary commands now, e.g.,"
echo
echo " ietf/manage.py runserver 0.0.0.0:8000"
echo " ietf/manage.py runserver 0.0.0.0:8001"
echo
echo "to start a development instance of the Datatracker."
echo