Activate HTTPS

Perform the following steps to activate https in Specmate

1. Create a new folder (e.g. specmate-home) copy all files from here into the folder specmate-home/etc/*
2. Copy the Keystore file into the working directory of Specmate
3. Start specmate with the following options

• -Djetty.ssl.port=8443
• -Djetty.etc.config.urls='etc/jetty.xml,etc/jetty-ssl-context.xml,etc/jetty-http.xml,etc/jetty-ssl.xml,etc/jetty-https.xml,etc/jetty-deployer.xml,etc/jetty-rewrite.xml'
• -Djetty.home=[path-to-specmate-home]