Make Crawl react better to seeing des files and database text files modified and recompiled by new Crawl processes while older processes are running.

When mapdef.cc detects that a .dsc file is out of sync, it throws an exception
that dungeon.cc catches. dungeon.cc then discards all loaded maps and reloads
then from the map index (.idx) files.

The old behaviour was to create a panic save and exit for out-of-sync .dsc
files, which is not ideal since the panic save code is rarely used and tends to
bitrot.

When regenerating text database files in DGL installs, the game no longer
unlinks the old .db file, and will instead update the old file with the
new db keys.

None of this code should be relevant to single-user installs.

1 files changed, 4 insertions, 2 deletions

diff --git a/crawl-ref/source/clua.h b/crawl-ref/source/clua.h
index d8d4389d17..837be3e169 100644
--- a/crawl-ref/source/clua.h
+++ b/crawl-ref/source/clua.h
@@ -124,8 +124,10 @@ public:
     int loadstring(const char *str, const char *context);
     int execstring(const char *str, const char *context = "init.txt",
                    int nresults = 0);
-    int execfile(const char *filename, bool trusted = false,
-                 bool die_on_fail = false);
+    int execfile(const char *filename,
+                 bool trusted = false,
+                 bool die_on_fail = false,
+                 bool force = false);
 
     void pushglobal(const std::string &name);