From 319745d214615eab53d3f38a4d42c5275399bc1e Mon Sep 17 00:00:00 2001
From: Sapan Bhatia <sapanb@cs.princeton.edu>
Date: Wed, 2 Dec 2009 20:53:01 +0000
Subject: [PATCH] Bug fix - argv needs to terminate with a NULL.

---
 src/vsh.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/vsh.c b/src/vsh.c
index 71698c1..9c61664 100644
--- a/src/vsh.c
+++ b/src/vsh.c
@@ -32,7 +32,7 @@ char **extend_argv(int argc, char **argv, int num_extra_args) {
     char **argv2;
 
     argc2 = argc + num_extra_args;
-    argv2 = (char **) malloc(argc2 * sizeof(char *));
+    argv2 = (char **) malloc((argc2 + 1) * sizeof(char *));
 
     if (!argv2)
         return (char **) NULL;
@@ -40,6 +40,7 @@ char **extend_argv(int argc, char **argv, int num_extra_args) {
     for (i=0; i<argc; i++) {
         argv2[i+num_extra_args]=strdup(argv[i]); 
     }
+    argv2[argc2]=NULL;
 
     return argv2;
 }
-- 
2.47.0