Software /
code /
prosody
Annotate
spec/scansion/uptime.scs @ 11432:113f3912c7cb
util: Add Teal interface definition files
Enables writing code in Teal that is aware of the interfaces and
function prototypes in these other utils.
Could also be used to do type checks on Lua sources, but this tends to
have a lot of noise.
author | Kim Alvefur <zash@zash.se> |
---|---|
date | Tue, 09 Mar 2021 14:36:46 +0100 |
parent | 10731:8e2f9d0fa72d |
rev | line source |
---|---|
10731
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
1 # XEP-0012: Last Activity / mod_uptime |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
2 |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
3 [Client] Romeo |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
4 jid: romeo@localhost |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
5 password: password |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
6 |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
7 ----- |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
8 |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
9 Romeo connects |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
10 |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
11 Romeo sends: |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
12 <iq id='a' type='get' to='localhost'> |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
13 <query xmlns='jabber:iq:last'/> |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
14 </iq> |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
15 |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
16 Romeo receives: |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
17 <iq type='result' id='a' from='localhost'> |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
18 <query xmlns='jabber:iq:last' seconds='0'/> |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
19 </iq> |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
20 |
8e2f9d0fa72d
mod_uptime: Add scansion test coverage
Kim Alvefur <zash@zash.se>
parents:
diff
changeset
|
21 Romeo disconnects |