Fix port in 301 redirect to match port of SSL server config
Created by: gabfl
The port in the SSL server config is 7443
For the 301 redirect, the redirect wrongfully redirects to 7433 instead of 7443 as seen here:
server {
# Do not remove. The contents of sourcegraph_server.conf can change
# between versions and may include improvements to the configuration.
include nginx/sourcegraph_server.conf;
listen 7443 ssl;
server_name sourcegraph.example.com; # change to your URL
ssl_certificate sourcegraph.crt;
ssl_certificate_key sourcegraph.key;