diff options
| author | 20kdc <asdd2808@gmail.com> | 2023-02-17 23:03:03 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-18 00:03:03 +0100 |
| commit | 75e6cc190a9b1cc1c3aae059502801365c3a412b (patch) | |
| tree | 05703cf5167b21775166de9918300711e3873106 /src/client/client.h | |
| parent | 2a8becd650a8adaa86fd7f76122ea75f11f49dad (diff) | |
| download | minetest-75e6cc190a9b1cc1c3aae059502801365c3a412b.tar.xz | |
Source image tracking in tile generation (#12514)
Diffstat (limited to 'src/client/client.h')
| -rw-r--r-- | src/client/client.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/client/client.h b/src/client/client.h index 3c7fc0db2..44a0de719 100644 --- a/src/client/client.h +++ b/src/client/client.h @@ -552,8 +552,6 @@ private: std::vector<std::string> m_remote_media_servers; // Media downloader, only exists during init ClientMediaDownloader *m_media_downloader; - // Set of media filenames pushed by server at runtime - std::unordered_set<std::string> m_media_pushed_files; // Pending downloads of dynamic media (key: token) std::vector<std::pair<u32, std::shared_ptr<SingleMediaDownloader>>> m_pending_media_downloads; |