2011-11-01から1ヶ月間の記事一覧

List的なものをパースしたい

まぁ全く必要に迫られている訳では無いのですが、日々JavaでかつAndroidアプリ開発をしていると、精神衛生上いろいろとあるので、少し触って放置していたParsecで遊んでみることに。前回四則計算をやったような気がするので、今回もこじんまりとリストのパー…

初Lwtでecho server

書いた。 https://gist.github.com/1362149これ↓を参考に https://github.com/avsm/ocaml-cohttpserver/blob/master/server/http_tcp_server.ml 適当に書き始めたのだけど、途中で「やばい徹底的にmonadicに書かないと動かないというかコンパイル通らない」…

Issue 7933: Closing a socket from another thread doesn't generate IOException

う〜ん、どうやら全力でこいつを踏んでいるみたい... http://code.google.com/p/android/issues/detail?id=7933

そもそもAndroidOS2.2以前では別ThreadからのSocket#close()が効かない件

http://d.hatena.ne.jp/komamitsu/20111103/1320338412 の続きで少し見てみたら、HttpRequestBase#abort() -> AbstractClientConnAdapter#abortConnection() -> SocketHttpClientConnection#shutdown() -> Socket#close() と来ているので、やっぱりこの辺か…

AndroidではHttpGet#abort()が効かないみたいな疑惑

OpenJDKでもOracleJDKでも、org.apache.http.client.methods.HttpGetのexecute()でblockしている間, 以下のように別Threadからabort()させることができます。 public class App { public static void main(String args[]) { final String hostname = "localh…