Kill a process on non-#f, non-transition result from behavior
This commit is contained in:
parent
f8f31e7355
commit
371dbef54e
|
@ -117,7 +117,12 @@
|
||||||
(lambda (exn)
|
(lambda (exn)
|
||||||
(log-error "Process ~a died with exception:\n~a" pid (exn->string exn))
|
(log-error "Process ~a died with exception:\n~a" pid (exn->string exn))
|
||||||
(transition (process-state p) (list (quit))))])
|
(transition (process-state p) (list (quit))))])
|
||||||
((process-behavior p) e (process-state p))))
|
(match ((process-behavior p) e (process-state p))
|
||||||
|
[#f #f]
|
||||||
|
[(? transition? t) t]
|
||||||
|
[x
|
||||||
|
(log-error "Process ~a returned non-#f, non-transition: ~v" pid x)
|
||||||
|
(transition (process-state p) (list (quit)))])))
|
||||||
|
|
||||||
(define (apply-transition pid t w)
|
(define (apply-transition pid t w)
|
||||||
(match t
|
(match t
|
||||||
|
|
Loading…
Reference in New Issue