diff options
author | Joey Hess <joey@kitenet.net> | 2013-05-30 13:55:22 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-05-30 13:55:22 -0400 |
commit | 733a90bbd382683fa788aa6949f0fac11ba6504b (patch) | |
tree | 4de1785acd9134d42dc13c833ea9701f0702070a /doc | |
parent | db7f7df4051dae385ba4fa34fab3a62abb883509 (diff) |
android dupped stderr workaround
Avoid using dupped stderr, since
http://git-annex.branchable.com/bugs/warning_-_WebApp_crashed:___60__file_descriptor_15__62__:_hPutStr:_illegal_operation___40__handle_is_closed__41___on_Android/#comment-a24c73803fb10bd35afdc10d50e071c8
seems to involve that handle not being dupped originally, or perhaps
getting closed when the web browser is started on Android.
Using the dupped stdout is known to work before starting the web browser,
so it should work after -- unless perhaps starting it closes both handles.
In any case, there's no real need to write to stderr here.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions