elidowling.com / jj_tui
terminal user interface to jujutsu. Focused on speed and clarity
9
fork

Configure Feed

Select the types of activity you want to include in your feed.

catch and retry on EINTR

Eli Dowling 997fee95 6281a828

+2
+2
jj_tui/bin/jj_process.ml
··· 23 23 | n -> 24 24 Buffer.add_subbytes output buffer 0 n; 25 25 read_loop () 26 + | exception Unix.Unix_error (Unix.EINTR, _, _) -> 27 + read_loop () 26 28 | exception Unix.Unix_error (Unix.EBADF, _, _) -> 27 29 Buffer.contents output (* Handle EBADF error *) 28 30 | exception Unix.Unix_error (Unix.EAGAIN, _, _) ->