Crash – bad file descriptor

[ajk]

terminate called after throwing an instance of 'boost::exception_detail::clone_impl<boost::exception_detail::error_info_injector<boost::system::system_error> >'

what(): Bad file descriptor

alue[0x805aa4a]
[0xffffe400]
/lib/libc.so.6(gsignal+0x46)[0xb7428556]
/lib/libc.so.6(abort+0x188)[0xb7429d78]
/usr/lib/libstdc++.so.6(_ZN9gnu_cxx27verbose_terminate_handlerEv+0x158)[0xb762b988]
/usr/lib/libstdc++.so.6[0xb7629865]
/usr/lib/libstdc++.so.6[0xb762889a]
/usr/lib/libstdc++.so.6(gxx_personality_v0+0x31e)[0xb76295ce]
/lib/libgcc_s.so.1[0xb7544e2a]
[0x0]
[0x8b0b030]

Line 53 of "alue_posix.cc" starts at address 0x805aa4a <abort_handler+26> and ends at 0x805aa62 <abort_handler+50>.

[ajk]

Happened again.

[ajk]

This is mitigated, if not solved, by changeset:67c3cdbee0ef6f0708dfe5bf5343ae8b75b33610

Closing this now; if it reappears, a new ticket should be filed.