diff options
author | Paolo Bonzini <bonzini@gnu.org> | 2008-08-27 13:24:19 +0200 |
---|---|---|
committer | Paolo Bonzini <bonzini@gnu.org> | 2008-08-27 13:24:19 +0200 |
commit | de0346581ab2518f1fc0a1df506f6d0d0e717a62 (patch) | |
tree | 5a416752ee522601e58fcd1aa7c38b6a4da76cea /sed | |
parent | 48738553ce06ffadf1fa6820b4c0ccfc6b8037c2 (diff) | |
download | sed-de0346581ab2518f1fc0a1df506f6d0d0e717a62.tar.gz |
close input files if not in -i mode!
2008-08-27 Paolo Bonzini <bonzini@gnu.org>
* sed/execute.c (closedown): Close the input file!
Diffstat (limited to 'sed')
-rw-r--r-- | sed/execute.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sed/execute.c b/sed/execute.c index 5407010..8d948e1 100644 --- a/sed/execute.c +++ b/sed/execute.c @@ -778,6 +778,7 @@ closedown(input) free (input->out_file_name); } + ck_fclose (input->fp); input->fp = NULL; } |