luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-10-12 16:15:20 +02:00
Code Activity

Implement delayed server shutdown with cancelation (#4664)

Browse Source
This commit is contained in:
Loïc Blot
2017-04-15 23:19:18 +02:00
committed by GitHub
parent 0f955bf7fa
commit 34d32ce55a
8 changed files with 124 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
builtin/game/misc.lua
View File

@@ -173,3 +173,8 @@ end
function core.close_formspec(player_name, formname)
return minetest.show_formspec(player_name, formname, "")
end
function core.cancel_shutdown_requests()
core.request_shutdown("", false, -1)
end