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 bbb7c7d..b16109c 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);