Make server check game state file sizes on startup

[empserver] / include / file.h

diff --git a/include/file.h b/include/file.h
index 795177840a35759f4d1073944c27fb0e68df6693..b14d0bc6bc1a0e7bd9a29da3c8e0f1e97e1f543a 100644 (file)
--- a/include/file.h
+++ b/include/file.h
@@ -181,7 +181,7 @@ extern int ef_read(int, int, void *);
 extern void *ef_ptr(int, int);
 extern char *ef_nameof(int);
 extern time_t ef_mtime(int);
-extern int ef_open(int, int);
+extern int ef_open(int, int, int);
 extern int ef_check(int);
 extern int ef_close(int);
 extern int ef_flush(int);