slaprunner: launcher for nginx with ssl certificate, parameters for default sr, bug fix