+ else if (strPrefix(command, "dump levelset "))
+ {
+ char *filename = &command[14];
+
+ if (fileExists(filename) && isLevelsetFilename_BD(filename))
+ {
+ DumpLevelsetFromFilename_BD(filename);
+
+ exit(0);
+ }
+
+ char *leveldir = getStringCopy(filename); // read command parameters
+
+ global.dumplevelset_leveldir = leveldir;
+
+ program.headless = TRUE;
+ }