From 6faab424dd4a5f29aa9bb623b5c172120602a239 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Thu, 26 Jan 2023 14:35:29 +0100 Subject: [PATCH] forgot closing the file --- src/runtime/c/pgf/pgf.cxx | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/runtime/c/pgf/pgf.cxx b/src/runtime/c/pgf/pgf.cxx index 4dac85bb9..a2c86c4b0 100644 --- a/src/runtime/c/pgf/pgf.cxx +++ b/src/runtime/c/pgf/pgf.cxx @@ -59,6 +59,7 @@ PgfDB *pgf_read_pgf(const char* fpath, PgfRevision *revision, PgfReader rdr(in,probs_callback); ref pgf = rdr.read_pgf(); + fclose(in); db->set_transaction_object(pgf.as_object()); @@ -109,6 +110,7 @@ PgfDB *pgf_boot_ngf(const char* pgf_path, const char* ngf_path, PgfReader rdr(in,probs_callback); ref pgf = rdr.read_pgf(); + fclose(in); db->set_transaction_object(pgf.as_object()); @@ -231,6 +233,7 @@ void pgf_merge_pgf(PgfDB *db, PgfRevision revision, PgfReader rdr(in,NULL); rdr.merge_pgf(pgf); + fclose(in); } } PGF_API_END