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>