(xundump): Table names no longer contain whitespace. Simplify.

diff --git a/src/lib/common/xundump.c b/src/lib/common/xundump.c
index 7210674c7c4b15a75ee5493825b15d409c2e161b..aa19a30772c5c293e23c61375a09c503a904327b 100644 (file)
--- a/src/lib/common/xundump.c
+++ b/src/lib/common/xundump.c
@@ -417,18 +417,11 @@ xundump(FILE *fp, char *file, int expected_table)
     } else
        lineno++;
 
-    if (fscanf(fp, "XDUMP %63[^0123456789]%*d%c", name, &sep) != 2)
+    if (fscanf(fp, "XDUMP %63s %*d%c", name, &sep) != 2)
        return gripe("Expected XDUMP header");
     if (sep != '\n')
        return gripe("Junk after XDUMP header");
 
-    if (strlen(name) < 2)
-       return gripe("Invalid table name in header %s", name);
-    if (name[strlen(name) - 1] != ' ')
-       return gripe("Missing space after table name in header %s",
-           name);
-    name[strlen(name) - 1] = '\0';
-    
     type = ef_byname(name);
     if (type < 0)
        return gripe("Table not found %s", name);