Fix empdump to open views, too

ef_verify() assumes views are open.  Bug is harmless, because
ef_nelem() returns zero for closed views, and ef_verify() accesses
only immutable parts of struct empfile then.

diff --git a/src/util/empdump.c b/src/util/empdump.c
index 2651f917e76703ace31c2a190f43646b26842c82..3fcd4c7f5bb21dd9ed042b6ce007775ee5185aa9 100644 (file)
--- a/src/util/empdump.c
+++ b/src/util/empdump.c
@@ -131,10 +131,13 @@ main(int argc, char *argv[])
     global_init();
 
     for (i = 0; i < EF_MAX; i++) {
-       if (!EF_IS_GAME_STATE(i))
-           continue;
-       if (!ef_open(i, EFF_MEM | private, -1))
-           exit(1);
+       if (EF_IS_GAME_STATE(i)) {
+           if (!ef_open(i, EFF_MEM | private, -1))
+               exit(1);
+       } else if (EF_IS_VIEW(i)) {
+           if (ef_open_view(i) < 0)
+               exit(1);
+       }
     }
 
     /* import from IMPORT */