2018-02-01 21:15:38 +02:00
|
|
|
function bot_command_players(filename)
|
2018-02-01 16:16:10 +02:00
|
|
|
game.write_file(filename, string.format("Online players (%d):",#game.connected_players), false,0)
|
|
|
|
local online_players = #game.connected_players
|
2018-02-01 16:05:36 +02:00
|
|
|
for _,p in pairs(online_players) do
|
|
|
|
game.write_file(filename, p.name, true,0)
|
2018-02-01 00:08:58 +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 22:29:47 +02:00
|
|
|
game.write_file(filename, string.format("Time since server start (%d):"),#math.floor(game.tick / 60), false,0)
|
2018-02-01 22:16:49 +02:00
|
|
|
end
|