luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-12-17 20:45:22 +01:00
Code Activity

Fix edge-case where manually set gameid isn't used

Browse Source
This commit is contained in:
sfan5
2025-04-08 12:15:16 +02:00
parent 9d81c02f27
commit 124d770823
4 changed files with 20 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/server/mods.h
View File

@@ -21,10 +21,11 @@ class ServerModManager
public:
/**
* Creates a ServerModManager which targets worldpath
* @param worldpath
* Creates a ServerModManager
* @param worldpath path to world
* @param gamespec game used by the world
*/
ServerModManager(const std::string &worldpath);
ServerModManager(const std::string &worldpath, SubgameSpec gamespec);
/**
* Creates an empty ServerModManager. For testing purposes.