That’s a good idea, thanks! I think it’d make sense to first check for the environment variable, then the
prodigy.json and if none are set, default to
8080. This would let you set a custom default port globally or per project, and overwrite it on the command line if necessary.
In the meantime, you can always add this functionality in the
server function in Prodigy’s
port = os.getenv('PRODIGY_PORT', config.get('port', 8080))
For consistency, we should probably add the same for the