saveload.h
changeset 4548 6165e12570bf
parent 4344 7e123fec5b0b
child 5140 b1097c36a598
--- a/saveload.h	Mon Sep 04 15:44:28 2006 +0000
+++ b/saveload.h	Mon Sep 04 17:30:30 2006 +0000
@@ -20,6 +20,7 @@
 
 SaveOrLoadResult SaveOrLoad(const char *filename, int mode);
 void WaitTillSaved(void);
+void DoExitSave(void);
 
 
 typedef void ChunkSaveLoadProc(void);