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

相田です。

これはOSに依存する問題のようです。
DNSがうまく引けないときに、OSによっては^Cや^Zが利かなかったり
^Cを押すと落ちてしまったりすることがあります。(MacOSで経験しました)
大昔(2004年)に投稿したパッチでこのままでは当たらないと思いますが、
参考までに。

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


At Thu, 27 Jul 2017 13:54:55 +0900,
Katsumi Yamaoka wrote:
> 
> 積丹尼さんのメッセージを転送します。よろしくお願いします。
> 
> $ w3m some_broken_site.com
> 
> としたときに、おそらくサーバー側の問題で "Opening socket..." と
> 言ったきり止まってしまう場合に、^C ^Z ^Q などで中断させることが
> できず、timeout(サーバーの? w3mの?) を待つしかないようです。
> 
> 私も氏の例示している url で確認したのですが、何回か試しているう
> ちに問題が解消してしまい、その後も再現できなくなってしまいました。
> 
> 山岡
> 
> -------------------- Start of forwarded message --------------------
> From: 積丹尼 Dan Jacobson <jidanni <at> jidanni.org>
> Subject: when w3m gets stuck loading some broken site
> Date: Thu, 27 Jul 2017 12:00:34 +0800
> 
> If
> $ w3m some_broken_site.com
> gets stuck in
> "Opening socket..."
> then no key ^C ^Z ^Q etc. can break out and get back too the shell.
> 
> One must wait for the timeout and message
> Can't load https://josm.openstreetmap.de/ticket/14743
> -------------------- End of forwarded message --------------------
> 
>