Avoid (cdr '()) for patches from drivers - for msd.rkt this time
This commit is contained in:
parent
af30c19ee0
commit
e2d1ae853c
|
@ -51,13 +51,20 @@
|
||||||
[('action-interpreted 'quit)
|
[('action-interpreted 'quit)
|
||||||
(write-event! source sink 'quit)]
|
(write-event! source sink 'quit)]
|
||||||
[('event (list cause (? patch? p)))
|
[('event (list cause (? patch? p)))
|
||||||
|
(match (spacetime-space sink)
|
||||||
|
['()
|
||||||
(write-event! source sink 'event
|
(write-event! source sink 'event
|
||||||
'patch
|
'patch
|
||||||
(format-patch '#hash() (cdr (spacetime-space sink)) p)
|
(patch->pretty-string p)
|
||||||
|
cause
|
||||||
|
(list (spacetime-space cause)))]
|
||||||
|
[(cons _ context-path)
|
||||||
|
(write-event! source sink 'event
|
||||||
|
'patch
|
||||||
|
(format-patch '#hash() context-path p)
|
||||||
cause
|
cause
|
||||||
(set-map (extract-patch-pids p)
|
(set-map (extract-patch-pids p)
|
||||||
(lambda (local-pid)
|
(lambda (local-pid) (cons local-pid context-path))))])]
|
||||||
(cons local-pid (cdr (spacetime-space sink))))))]
|
|
||||||
[('event (list cause (message body)))
|
[('event (list cause (message body)))
|
||||||
(write-event! source sink 'event
|
(write-event! source sink 'event
|
||||||
'message
|
'message
|
||||||
|
|
Loading…
Reference in New Issue