http接続を開くコードを動作させようとしました。ただし、Web ページはプレーン テキストまたは gzip 形式で転送される場合があります。その結果、プラグマティズムのあるコードはプレーン テキストとして開こうとし、失敗して例外を受け取ると、gzip でエンコードされているかのように試みます。
URL は地面への唯一の変数です。たとえば、URL = ' http://releases.llvm.org/6.0.0/tools/clang/docs/ClangCommandLineReference.html ' を試してください。
user::catch(
(
user::http_open(URL, DataStream, []),
user::load_html(stream(DataStream), Terms, []),
user::close(DataStream)
),
_
,
(
user::open_any(URL, read, GZipDataStream, CloseIt, [encoding(gzip), string(atom)]),
/*user::http:encoding_filter(gzip, DataStream, GZipDataStream),*/
user::load_html(stream(GZipDataStream), Terms, []),
user::close_any(CloseIt)
)
)
残念ながら、catch の回復部分は機能しません。
何か提案はありますか?