Setting up redirects and https

I have a “production” BaseX server for our Mirabel system that is currently served on the old 8984 port. As it’s a dedicated server, I would like to serve it on port 80. But I also have users who use the current port, and I don’t want to disrupt them more than necessary when I make this change. I’d also like to start serving using HTTPS. Is there an easy way to set up a redirect from the old port to the new port? What is involved in serving BaseX over HTTPS? I’m using the built-in Jetty server and I suspect the answer is in the Jetty docs but I thought I’d ask here first before seeing of ChatGPT can get me close to a solution. Thanks, Eliot _____________________________________________ Eliot Kimber Sr Staff Content Engineer O: 512 554 9368 M: 512 554 9368 servicenow.com<https://www.servicenow.com> LinkedIn<https://www.linkedin.com/company/servicenow> | Twitter<https://twitter.com/servicenow> | YouTube<https://www.youtube.com/user/servicenowinc> | Facebook<https://www.facebook.com/servicenow>