diff options
| author | krasimir <krasimir@chalmers.se> | 2015-12-22 09:29:14 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-12-22 09:29:14 +0000 |
| commit | 028de0468bbab231b5fad3a4a1a28d91f26c747f (patch) | |
| tree | b7d60bf83aa862289272f09f8aba352cae7af614 | |
| parent | bef9d8c5fce740fde65934b170cca33b121fde67 (diff) | |
pgf_read should close the input file.
| -rw-r--r-- | src/runtime/c/pgf/pgf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/pgf.c b/src/runtime/c/pgf/pgf.c index 4fc909acf..0070e5f48 100644 --- a/src/runtime/c/pgf/pgf.c +++ b/src/runtime/c/pgf/pgf.c @@ -29,6 +29,8 @@ pgf_read(const char* fpath, pgf_reader_done(rdr, pgf); gu_pool_free(tmp_pool); + + fclose(infile); return pgf; } |