| changeset 4058 | 3f4ef371d92f |
| parent 4057 | b0bc36d026d9 |
| child 4065 | 9745a623c7ed |
| 4057:b0bc36d026d9 | 4058:3f4ef371d92f |
|---|---|
10 local reporter_bare_jid = jid.bare(event.stanza.attr.from) |
10 local reporter_bare_jid = jid.bare(event.stanza.attr.from) |
11 for admin_jid in admins |
11 for admin_jid in admins |
12 do |
12 do |
13 module:send(st.message({from=host, |
13 module:send(st.message({from=host, |
14 type="chat",to=admin_jid}, |
14 type="chat",to=admin_jid}, |
15 report)); |
15 report)); |
16 end |
16 end |
17 end) |
17 end) |