to make valgrind happy
authorJean-Philippe Orsini <jeanfi@gmail.com>
Sat, 22 Feb 2014 10:03:14 +0000 (10:03 +0000)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Sat, 22 Feb 2014 10:03:14 +0000 (10:03 +0000)
src/html.c
src/html.h
src/main.c

index 408c18e..248cf82 100644 (file)
 #include <plog.h>
 #include <pstr.h>
 
-static const char *footer;
-static const char *ppa_body;
-static const char *pkg_body;
-static const char *pkg_version_body;
-static const char *header;
+static char *footer;
+static char *ppa_body;
+static char *pkg_body;
+static char *pkg_version_body;
+static char *header;
 
 static char *path_new(const char *dir, const char *file, const char *suffixe)
 {
@@ -566,3 +566,11 @@ ppa_to_html(const char *owner,
 
        free(path);
 }
+
+void html_cleanup() {
+       free(header);
+       free(footer);
+       free(ppa_body);
+       free(pkg_body);
+       free(pkg_version_body);
+}
index 1d9dd87..858590b 100644 (file)
@@ -32,4 +32,6 @@ void ppa_to_html(const char *owner,
                 const int install_static_files,
                 int ws_size);
 
+void html_cleanup();
+
 #endif
index 58cb028..9ef8b5b 100644 (file)
@@ -219,6 +219,7 @@ int main(int argc, char **argv)
        free(output_dir);
        http_cleanup();
        cache_cleanup();
+       html_cleanup();
 
        exit(EXIT_SUCCESS);
 }