string: Allow passing NULL to free_argv().

After all, free() also allows NULL pointers. Be liberal in what you
accept...

diff --git a/string.c b/string.c
index bbb7c7dd2e2ef671d2b89d5a5cebd89e535066d5..b16109ca759f7e4cc6b9952c1ec9f2aaac1598c4 100644 (file)
--- a/string.c
+++ b/string.c
@@ -719,6 +719,8 @@ void free_argv(char **argv)
 {
        int i;
 
+       if (!argv)
+               return;
        for (i = 0; argv[i]; i++)
                free(argv[i]);
        free(argv);