Without the patch, piping -doc output to a pager can lead to a broken pipe exception when quitting the pager.
To test, try: unison -doc all | less (or your chosen pager) with and without this patch. Quit the pager before it has buffered all the output. You will see an unhandled exception without this patch.
Without the patch, piping
-doc
output to a pager can lead to a broken pipe exception when quitting the pager.To test, try:
unison -doc all | less
(or your chosen pager) with and without this patch. Quit the pager before it has buffered all the output. You will see an unhandled exception without this patch.