rnd-20030113-1-src

[rocksndiamonds.git] / src / init.c

diff --git a/src/init.c b/src/init.c
index c25ded7716ddd8d0e1b251f69e131cfad253d7e3..29f59e295375df4880caf064ef3e918bdc9cd125 100644 (file)
--- a/src/init.c
+++ b/src/init.c
@@ -2260,6 +2260,18 @@ void Execute_Command(char *command)
 
     exit(0);
   }
+  else if (strncmp(command, "dump level ", 11) == 0)
+  {
+    char *filename = &command[11];
+
+    if (access(filename, F_OK) != 0)
+      Error(ERR_EXIT, "cannot open file '%s'", filename);
+
+    LoadLevelFromFilename(filename);
+    DumpLevel(&level);
+
+    exit(0);
+  }
   else if (strncmp(command, "dump tape ", 10) == 0)
   {
     char *filename = &command[10];