chiark / gitweb /
More robust handling of fatal errors in sync_channel.
authorSimon Tatham <anakin@pobox.com>
Fri, 5 Jan 2024 09:48:58 +0000 (09:48 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 5 Jan 2024 09:57:51 +0000 (09:57 +0000)
commit9b7f07b3b768a33c784dd7ed65a0c17fced8ae2c
treea71f2fd2af7a2afbc7ebf7716adc93b3f521cfc9
parent6c207ffa2c931d3d0b983460f0135521b3bf373a
More robust handling of fatal errors in sync_channel.

They were being squelched with a triple-FIXME comment, probably from
very early in development. Now it seems clear that we just propagate
them up to an 'abort the whole Tui' error, because if that goes wrong
then surely there's a disaster too weird to recover from.
src/tui.rs