Print process names during exn; avoid double-printing exns

This commit is contained in:
Tony Garnock-Jones 2016-07-09 15:28:31 -04:00
parent d244866617
commit 52aed3111c
2 changed files with 2 additions and 5 deletions

View File

@ -223,7 +223,8 @@
(define (disable-process pid exn w)
(when exn
(log-error "Process ~a died with exception:\n~a"
(log-error "Process ~v ~a died with exception:\n~a"
(process-info-name (hash-ref (dataspace-process-table w) pid missing-process-info))
(cons pid (trace-pid-stack))
(exn->string exn)))
(struct-copy dataspace w

View File

@ -40,10 +40,6 @@
;; Event (Option PID) Process (Option Exception) (Option Transition) -> Void
(define (trace-process-step-result e pid beh st exn t)
(when exn
(log-error "Process ~a died with exception:\n~a"
(cons-pid pid)
(exn->string exn)))
(record-trace-event 'process-step-result (list (cons-pid pid) e beh st exn t)))
;; (Option PID) Action Dataspace -> Void