[w3m-dev:04487] Isn't there a way to escape from w3m that stuck?
Katsumi Yamaoka <[email protected]> Thu, 27 Jul 2017 13:54:55 +0900
| Newsgroups | gmane.comp.web.w3m.devel |
|---|---|
| Organization | Emacsen advocacy group |
| Message-ID | <[email protected]> |
積丹尼さんのメッセージを転送します。よろしくお願いします。 $ 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 --------------------