X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_options.c;h=a1b8aae629a2d68ac4631ffab840b365498a2b17;hb=4e43946f01f687361197dc9571b7df02ae20de30;hp=69d70f6cc08441ecd9bd8facfd17e739e2ce8fa8;hpb=e94507c7055f81abcf6a95132cb7ad90f1b5e6ca;p=palacios.git

diff --git a/palacios/src/palacios/vmm_options.c b/palacios/src/palacios/vmm_options.c
index 69d70f6..a1b8aae 100644
--- a/palacios/src/palacios/vmm_options.c
+++ b/palacios/src/palacios/vmm_options.c
@@ -99,7 +99,7 @@ void v3_parse_options(char *options)
     while (c && *c) {
 	/* Skip whitespace */
         if ((*c == ' ')
-	    || (*c == '\t')) {
+	    || (*c == '\t') || (*c == ',')) {
 	    *c = 0;
 	    if (currKey) {
 		if (!currVal) {