Unified · Split
| @@ -5237,12 +5237,11 @@ let () = · 5236 unmodified lines | |||
| 5237 | in | 5237 | in |
| 5238 | match loop infinity with | 5238 | match loop infinity with |
| 5239 | | exception Quit -> | 5239 | | exception Quit -> |
| 5240 | (try | 5240 | (match Buffer.length state.errmsgs with |
| 5241 | let s = Buffer.contents state.errmsgs in | 5241 | | 0 -> () |
| 5242 | match String.length s with | 5242 | | n -> |
| 5243 | | 0 -> () | 5243 | match Unix.write efd (Buffer.to_bytes state.errmsgs) 0 n with |
| 5244 | | n -> ignore @@ Unix.write efd (Bytes.of_string s) 0 n | 5244 | | exception _ | _ -> ()); |
| 5245 | with _ -> ()); | ||
| 5246 | Config.save leavebirdseye; | 5245 | Config.save leavebirdseye; |
| 5247 | if Ffi.hasunsavedchanges () | 5246 | if Ffi.hasunsavedchanges () |
| 5248 | then save () | 5247 | then save () |