Restart nginx if http -> https option has changed