Jetty port update script does not work for SSL port (#11) · Issues · SADE / build · GitLab

This project is archived. Its data is read-only.

Jetty port update script does not work for SSL port

Implemention of Ubbos fix needed, see: https://gitlab.gwdg.de/dariah-de/textgrid-iiif/commit/6a5004443b6ac360a5369e14a684527c71cfc81a

issue