| changeset 9348 | 3c5c0a2521d5 |
| parent 9347 | d36fa7d164c0 |
| child 9349 | 2946f2bd2bb5 |
| 9347:d36fa7d164c0 | 9348:3c5c0a2521d5 |
|---|---|
4 |
4 |
5 local full_jids = {}; |
5 local full_jids = {}; |
6 |
6 |
7 local id = require "util.id"; |
7 local id = require "util.id"; |
8 |
8 |
9 local record_file = |
9 local record_file = require "util.datamanager".getpath(id.medium(), module.host, os.date("%Y-%m-%d"), "scs", true); |
10 |
10 |
11 local function record(string) |
11 local function record(string) |
12 |
12 |
13 |
13 |
14 local function record_event(session, event) |
14 local function record_event(session, event) |