diff options
| author | John Keeping <john@keeping.me.uk> | 2013-05-18 15:57:03 +0100 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2013-05-22 12:53:06 +0200 |
| commit | 1fec7cd6f817e52a6e55458d584a7a5092ba6aed (patch) | |
| tree | 6b9415b975dbc7e8424b43ab9ebbcd878270e518 /ui-patch.c | |
| parent | 927060c5d8d82a9422fc1dcf6d1379d21071b158 (diff) | |
html.c: die when write fails
If we fail to write HTML output once, there's no point carrying on so
just write a failure message once and die. By using Git's die_errno
function we also let the user know in what way the write failed.
Signed-off-by: John Keeping <john@keeping.me.uk>
Diffstat (limited to 'ui-patch.c')
0 files changed, 0 insertions, 0 deletions