From edaf3f3cc66a27b230ecebb736a6878759d3ee9e Mon Sep 17 00:00:00 2001 From: CJ van den Berg Date: Wed, 21 Feb 2024 16:49:45 +0100 Subject: [PATCH] feat: don't emit an error if stdout is closed early --- src/main.zig | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/main.zig b/src/main.zig index e025de0..5185ef4 100644 --- a/src/main.zig +++ b/src/main.zig @@ -71,13 +71,19 @@ pub fn main() !void { defer file.close(); const content = try file.readToEndAlloc(a, std.math.maxInt(u32)); defer a.free(content); - try render_file(a, writer, content, arg, &theme, res.args.@"show-language" != 0); + render_file(a, writer, content, arg, &theme, res.args.@"show-language" != 0) catch |e| switch (e) { + error.Stop => return, + else => return e, + }; try bw.flush(); } } else { const content = try std.io.getStdIn().readToEndAlloc(a, std.math.maxInt(u32)); defer a.free(content); - try render_file(a, writer, content, "-", &theme, res.args.@"show-language" != 0); + render_file(a, writer, content, "-", &theme, res.args.@"show-language" != 0) catch |e| switch (e) { + error.Stop => return, + else => return e, + }; } try bw.flush(); }