Fix a bug found by a user
commit235482c16dd31e8e3ad5781a855d39cdbe2847ab
authorGavin D. Howard <gavin@gavinhoward.com>
Tue, 12 Mar 2024 03:01:36 +0000 (11 21:01 -0600)
committerGavin D. Howard <gavin@gavinhoward.com>
Tue, 12 Mar 2024 03:01:36 +0000 (11 21:01 -0600)
tree62e93975c1a53c381c05aa75de7b5b2500b23aa3
parent133bff368551a31f1ccde4b1df7b5470ff30d014
Fix a bug found by a user

This bug is that an error can happen when flushing the streams on exit,
and in that case, `bc`/`dc` will jump out, but there won't be any
jmp_buf stack, so crash.

I can't reproduce it, but I'm pretty sure this is the fix, and I will
confirm with the reporter.

Signed-off-by: Gavin D. Howard <gavin@gavinhoward.com>
src/file.c