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