サーバー名の問題は一旦終了と言いつつも なんだか気になってしまうので、今日も作業をしてしまった。
結果としては、過去に使われていたサーバー名をリスト化して、 それに記載されていない場合は、実際にサーバーに接続するという手法を取ってみることに。
前回同様、根本的な解決にはならないけど、 明らかに存在しないサーバーは弾けるでしょう。