server {

	root /var/www/html;

	index index.html index.htm index.nginx-debian.html;

	server_name smash.typeco.de;

	access_log /var/log/nginx/jenkins.access.log;
        error_log /var/log/nginx/jenkins.error.log;

	location / {
		include /etc/nginx/proxy_params;
                proxy_pass http://localhost:8080;
                proxy_read_timeout  90s;
                proxy_redirect http://localhost:8080 https://smash.typeco.de;
	}

    listen [::]:443 ssl ipv6only=on; # managed by Certbot
    listen 443 ssl; # managed by Certbot
    ssl_certificate /etc/letsencrypt/live/smash.typeco.de/fullchain.pem; # managed by Certbot
    ssl_certificate_key /etc/letsencrypt/live/smash.typeco.de/privkey.pem; # managed by Certbot
    include /etc/letsencrypt/options-ssl-nginx.conf; # managed by Certbot
    ssl_dhparam /etc/letsencrypt/ssl-dhparams.pem; # managed by Certbot

}
server {
    if ($host = smash.typeco.de) {
        return 301 https://$host$request_uri;
    } # managed by Certbot


	listen 80 default_server;
	listen [::]:80 default_server;

	server_name smash.typeco.de;
    return 404; # managed by Certbot


}