diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-04-10 07:42:49 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-04-10 07:42:49 +0000 |
| commit | 348c9c4233d0f7660c3c848d3535cae28aa2b385 (patch) | |
| tree | 01a7fc32d709f2fd5776103593fa87fcae825345 /src/runtime/c | |
| parent | d7ef5d8c0b6c04ef1113fde3ea8002818e6036ac (diff) | |
bugfix in the C runtime
Diffstat (limited to 'src/runtime/c')
| -rw-r--r-- | src/runtime/c/pgf/reader.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/runtime/c/pgf/reader.c b/src/runtime/c/pgf/reader.c index 24fa175e1..2dd1e73b3 100644 --- a/src/runtime/c/pgf/reader.c +++ b/src/runtime/c/pgf/reader.c @@ -1276,11 +1276,14 @@ pgf_concrete_load(PgfConcr* concr, GuIn* in, GuExn* err) concr->pool = pool; pgf_read_flags(rdr); - gu_return_on_exn(rdr->err, ); + if (gu_exn_is_raised(rdr->err)) + goto end; pgf_read_concrete_content(rdr, concr); - gu_return_on_exn(rdr->err, ); - + if (gu_exn_is_raised(rdr->err)) + goto end; + +end: gu_pool_free(tmp_pool); } |