2018-02-02 00:05:36 +02:00
|
|
|
--This file is used by the discord bot to access ingame information
|
|
|
|
--If you launch this scenario standalone, you don't need this file
|
|
|
|
|
2018-02-01 21:15:38 +02:00
|
|
|
function bot_command_players(filename)
|
2018-02-02 02:57:11 +02:00
|
|
|
game.write_file(filename, string.format("Online players (%d):\n", #game.connected_players), false,0)
|
2018-02-02 02:16:58 +02:00
|
|
|
for _,p in pairs(game.connected_players) do
|
2018-02-02 02:57:11 +02:00
|
|
|
game.write_file(filename, p.name .. "\n", true,0)
|
2018-02-02 00:05:36 +02:00
|
|
|
end
|
2018-02-01 16:05:36 +02:00
|
|
|
end
|
2018-02-01 22:16:49 +02:00
|
|
|
|
2018-02-01 22:26:23 +02:00
|
|
|
function bot_command_time(filename)
|
2018-02-01 23:02:31 +02:00
|
|
|
local s = math.floor(game.tick/60)
|
|
|
|
local m = math.floor(s/60)
|
|
|
|
local h = math.floor(m/60)
|
|
|
|
local d = math.floor(h/24)
|
|
|
|
|
|
|
|
s = s % 60
|
|
|
|
m = m % 60
|
|
|
|
h = h % 24
|
|
|
|
if d == 0 then
|
|
|
|
d = ""
|
|
|
|
if h == 0 then
|
|
|
|
h = ""
|
|
|
|
if m == 0 then
|
|
|
|
m = ""
|
|
|
|
end
|
|
|
|
end
|
|
|
|
else
|
|
|
|
d = string.format("%s days ", d)
|
|
|
|
end
|
|
|
|
|
|
|
|
if m ~= "" then m = string.format("%s minutes ", m) end
|
|
|
|
if h ~= "" then h = string.format("%s hours ", h) end
|
|
|
|
game.write_file(filename,string.format("%s%s%s%s seconds", d, h, m, s), false,0)
|
2018-02-01 22:16:49 +02:00
|
|
|
end
|