Replace // lines with # in whatwg-headers.conf

[sideshowbarker]

I don’t know why this didn’t cause any problems earlier, but since lines starting with // aren’t valid comments in nginx confing files, the lines we had starting with // were causing nginx to fail to parse the config file, and to fail to start.

So, this replaces those // with #.

[annevk]

Same problem in debian/isindex/nginx/conf/whatwg.conf, right? Looking at 1854325.

[sideshowbarker]

Same problem in debian/isindex/nginx/conf/whatwg.conf, right? Looking at 1854325.

Interesting. For some reason those instances don’t cause the server syntax checker to throw, while the ones in the whatwg-headers.conf. My only guess is that it’s due to having an odd vs even number of lines with them. Otherwise I have no clue.

[annevk]

It seems that per https://nginx.org/en/docs/beginners_guide.html#conf_structure those should be # as well. Not sure what it gets parsed as instead...

[foolip]

@sideshowbarker can you get this change deployed?

[sideshowbarker]

@sideshowbarker can you get this change deployed?

Yeah, I had deployed it already from this PR branch. But after merging this, I doublechecked by re-deploying from the main branch, with no failures.

So I think for now at least, as far as the instances of the //-prefixed lines in the other config files, we can just leave those alone for now. But it remains a mystery to me why those don’t cause nginx any problems while the ones in this case did…