diff options
author | Diego Nieto Cid <dnietoc@gmail.com> | 2010-12-25 21:33:54 -0300 |
---|---|---|
committer | Diego Nieto Cid <dnietoc@gmail.com> | 2011-04-08 14:36:22 -0300 |
commit | a6115630d2e5bba6e71e8e0174e8d7d6befef481 (patch) | |
tree | 46342de898c0d98691f39ed79b3d89631733a352 | |
parent | c2f522d38786e812387b3ba8dbdf9df1983fbc6a (diff) |
* console-client/xkb/parser.y (include_section): Free filename.
-rw-r--r-- | console-client/xkb/parser.y | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/console-client/xkb/parser.y b/console-client/xkb/parser.y index 4f25b3c0..0b279462 100644 --- a/console-client/xkb/parser.y +++ b/console-client/xkb/parser.y @@ -1257,6 +1257,7 @@ include_section (char *incl, int sectionsymbol, char *dirname, { fprintf (stderr, "Couldn't open include file \"%s\"\n", filename); free (current_file); + free (filename); exit (EXIT_FAILURE); } @@ -1280,9 +1281,11 @@ include_section (char *incl, int sectionsymbol, char *dirname, free (tmpbuf); } free (current_file); + free (filename); exit (err); } free (current_file); + free (filename); return 0; } |