equal
deleted
inserted
replaced
115 reporter_jid = reporter_jid; |
115 reporter_jid = reporter_jid; |
116 reported_jid = event.jid; |
116 reported_jid = event.jid; |
117 reported_message_time = dt.datetime(reported_message_time); |
117 reported_message_time = dt.datetime(reported_message_time); |
118 }); |
118 }); |
119 |
119 |
120 local message = st.message({ from = module.host }) |
120 local message = st.message({ from = module.host, id = new_id() }) |
121 :text_tag("body", body_text) |
121 :text_tag("body", body_text) |
122 :add_child(report); |
122 :add_child(report); |
123 |
123 |
124 if reported_message then |
124 if reported_message then |
125 reported_message.attr.xmlns = "jabber:client"; |
125 reported_message.attr.xmlns = "jabber:client"; |