From 8e6baf0bcb265de76184ba99dfae04b02b29093f Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Thu, 1 Dec 2005 20:00:15 +0000 Subject: [PATCH] (xundump): Table names no longer contain whitespace. Simplify. --- src/lib/common/xundump.c | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/src/lib/common/xundump.c b/src/lib/common/xundump.c index 7210674c..aa19a307 100644 --- 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);