Repair TCP state-vector tracking.
I had missed that the syndicate/monolithic implementation was *subscribing* with a #t filter, but *projecting* without one.
This commit is contained in:
parent
71b8edf5c3
commit
75ef296c58
|
@ -133,7 +133,7 @@
|
||||||
|
|
||||||
(define active-state-vectors
|
(define active-state-vectors
|
||||||
(query-set active-state-vectors
|
(query-set active-state-vectors
|
||||||
(observe (observe (tcp-packet _ $si $sp $di $dp _ _ _ _ _ _)))
|
(observe (tcp-packet #t $si $sp $di $dp _ _ _ _ _ _))
|
||||||
(list si sp di dp)))
|
(list si sp di dp)))
|
||||||
|
|
||||||
(define (state-vector-active? statevec)
|
(define (state-vector-active? statevec)
|
||||||
|
|
Loading…
Reference in New Issue