New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make HTTP servers listen on `$PORT` #21

Open

gnarea opened this issue Feb 22, 2023 · 0 comments

Milestone

Member

gnarea commented Feb 22, 2023 •

edited

Loading

Use $PORT if it exists or fall back to 8080.

The text was updated successfully, but these errors were encountered:

gnarea added this to the Version 1 milestone

gnarea added this to VeraId Authority v1

gnarea moved this to In Progress in VeraId Authority v1

gnarea moved this from In Progress to Todo in VeraId Authority v1

gnarea removed the status in VeraId Authority v1

gnarea moved this to Todo in VeraId Authority v1

gnarea changed the title ~~Make HTTP server listen on $PORT~~ Make HTTP servers listen on $PORT

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment