Commit 0b295e8
committed
Simply return replay error on expiration
Adhering to the principle that only primary information becomes an
event, knowing the session's expiration (in SessionContext) is
sufficient and no new information implies no outcome event.
The state machines already adhere by this and only returns an error
without resulting in a state transition. This commit applies the same
logic to `replay_event_log` for sender and receiver.
Even assuming a non-monotonic system clock, the implication of this
change is that a session that was previously considered expired may turn
out to not actually be expired, and is allowed to resume. This is
desirable behavior if e.g. the clock being incorrectly set to a future
time was what led to the session being expired in the first place.1 parent e8bb1a7 commit 0b295e8
3 files changed
Lines changed: 30 additions & 53 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
51 | 51 | | |
52 | 52 | | |
53 | 53 | | |
| 54 | + | |
54 | 55 | | |
55 | 56 | | |
56 | 57 | | |
| |||
75 | 76 | | |
76 | 77 | | |
77 | 78 | | |
| 79 | + | |
| 80 | + | |
78 | 81 | | |
79 | 82 | | |
80 | 83 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | | - | |
| 7 | + | |
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
| |||
44 | 44 | | |
45 | 45 | | |
46 | 46 | | |
47 | | - | |
48 | | - | |
49 | | - | |
50 | | - | |
51 | | - | |
52 | | - | |
53 | | - | |
54 | | - | |
55 | | - | |
56 | | - | |
57 | | - | |
58 | | - | |
59 | | - | |
| 47 | + | |
60 | 48 | | |
61 | 49 | | |
62 | 50 | | |
63 | 51 | | |
64 | 52 | | |
65 | 53 | | |
66 | 54 | | |
67 | | - | |
| 55 | + | |
68 | 56 | | |
69 | 57 | | |
70 | 58 | | |
| |||
372 | 360 | | |
373 | 361 | | |
374 | 362 | | |
375 | | - | |
376 | | - | |
377 | | - | |
378 | | - | |
379 | | - | |
380 | | - | |
381 | | - | |
382 | | - | |
383 | | - | |
384 | | - | |
385 | | - | |
386 | | - | |
387 | | - | |
388 | | - | |
389 | | - | |
| 363 | + | |
| 364 | + | |
| 365 | + | |
| 366 | + | |
| 367 | + | |
| 368 | + | |
| 369 | + | |
| 370 | + | |
| 371 | + | |
| 372 | + | |
390 | 373 | | |
391 | 374 | | |
392 | 375 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
40 | 40 | | |
41 | 41 | | |
42 | 42 | | |
43 | | - | |
44 | | - | |
45 | | - | |
46 | | - | |
47 | | - | |
48 | | - | |
49 | | - | |
50 | | - | |
51 | | - | |
52 | | - | |
53 | | - | |
54 | | - | |
55 | | - | |
| 43 | + | |
56 | 44 | | |
57 | 45 | | |
58 | 46 | | |
59 | 47 | | |
60 | | - | |
| 48 | + | |
61 | 49 | | |
62 | 50 | | |
63 | 51 | | |
| |||
225 | 213 | | |
226 | 214 | | |
227 | 215 | | |
228 | | - | |
229 | 216 | | |
| 217 | + | |
| 218 | + | |
230 | 219 | | |
231 | 220 | | |
232 | 221 | | |
233 | | - | |
| 222 | + | |
234 | 223 | | |
235 | 224 | | |
236 | 225 | | |
| |||
241 | 230 | | |
242 | 231 | | |
243 | 232 | | |
244 | | - | |
245 | | - | |
246 | | - | |
247 | | - | |
248 | | - | |
249 | | - | |
250 | | - | |
| 233 | + | |
| 234 | + | |
| 235 | + | |
| 236 | + | |
| 237 | + | |
| 238 | + | |
| 239 | + | |
| 240 | + | |
| 241 | + | |
251 | 242 | | |
252 | 243 | | |
253 | 244 | | |
| |||
0 commit comments