Work on SourceDB:rebuild

2023-04-10 17:58:44 -04:00
parent 005ce0629e
commit 972f0095c6
5 changed files with 94 additions and 60 deletions
--- a/luprex/cpp/core/world-diffxmit.cpp
+++ b/luprex/cpp/core/world-diffxmit.cpp
@@ -292,9 +292,8 @@ void World::patch_source(StreamBuffer *sb, DebugCollector *dbc) {
    DebugBlock dbb(dbc, "patch_source");
    bool modified = source_db_.patch(sb, dbc);
    if (modified) {
-        eng::string errs = source_db_.rebuild();
+        rebuild_sourcedb();
        DebugLine(dbc) << "Source DB rebuilt";
-        util::dprint(errs);
    }
 }