diff options
| author | rubenwardy <rw@rubenwardy.com> | 2019-01-09 13:14:24 +0000 |
|---|---|---|
| committer | rubenwardy <rw@rubenwardy.com> | 2019-01-09 13:14:33 +0000 |
| commit | 4b04268304a2f798cea110415f360c165395b4fb (patch) | |
| tree | 84118b0dff53fcaed0d784a72f6e79dc606fdc4e | |
| parent | 630c0ea997267447d983fb5c1129c8a2c67c24e4 (diff) | |
| download | minetest-4b04268304a2f798cea110415f360c165395b4fb.tar.gz minetest-4b04268304a2f798cea110415f360c165395b4fb.tar.bz2 minetest-4b04268304a2f798cea110415f360c165395b4fb.zip | |
pkgmgr: Fix games list not being updated after game install
Fixes #8074
| -rw-r--r-- | builtin/mainmenu/pkgmgr.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/builtin/mainmenu/pkgmgr.lua b/builtin/mainmenu/pkgmgr.lua index f6015ef72..cea373c9f 100644 --- a/builtin/mainmenu/pkgmgr.lua +++ b/builtin/mainmenu/pkgmgr.lua @@ -505,7 +505,11 @@ function pkgmgr.install_dir(type, path, basename, targetpath) fgettext("Failed to install $1 to $2", basename, targetpath) end - pkgmgr.refresh_globals() + if basefolder.type == "game" then + pkgmgr.update_gamelist() + else + pkgmgr.refresh_globals() + end return targetpath, nil end |