Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
[18.01] Fix server_name when config is a dict #5447
Scripts do this, so you can't assume the config is an actual Configuration object. Fixes #5420.
Also, an (unintended)? consequence of my server name hacking is that you can only set the server name by setting