| changeset 1343 | 7dbde05b48a9 |
| parent 1176 | 06e0c279f6a8 |
| child 1493 | d5e8758d391d |
| 1342:0ae065453dc9 | 1343:7dbde05b48a9 |
|---|---|
1 local datamanager = require "util.datamanager"; |
1 local datamanager = require "util.datamanager"; |
2 local jid = require "util.jid"; |
2 local jid = require "util.jid"; |
3 local time = os.time; |
3 local time = os.time; |
4 local log_ip = module:get_option_boolean("lastlog_ip_address", false); |
4 local log_ip = module:get_option_boolean("lastlog_ip_address", false); |
5 local host = module.host; |
5 local host = module.host; |
6 |
6 |