[w3m-dev:04489] Re: Isn't there a way to escape from w3m that stuck?

In [w3m-dev:04488]
On Mon, 31 Jul 2017 22:58:06 +0900, 相田さん wrote:
> これはOSに依存する問題のようです。
> DNSがうまく引けないときに、OSによっては^Cや^Zが利かなかったり
> ^Cを押すと落ちてしまったりすることがあります。(MacOSで経験しました)
> 大昔(2004年)に投稿したパッチでこのままでは当たらないと思いますが、
> 参考までに。

> http://www.j10n.org/files/w3mresolv-1.914-040328.patch

相田さん、貴重なお返事をありがとうございます。
まずは積丹尼さんには英訳してそのまま伝えてみます。
私の環境 (Cygwin on Windows 10) でも ^C などで止まりませんでした。
くだんのサイト <https://josm.openstreetmap.de/ticket/14743> は
現在は正常なので、そういうサーバーに出会う機会が今後もしあれば、
また様子を見てみようと思います。
-- 
山岡