Fix XREPL logging printer to handle new logger name field.

Merge to 5.3.2.
(cherry picked from commit 2a1f70264c)
This commit is contained in:
Sam Tobin-Hochstadt 2013-01-11 17:21:34 -05:00 committed by Ryan Culpepper
parent 5224c8b338
commit 28a3376096

View File

@ -1189,7 +1189,7 @@
(λ ()
(let loop ()
(match (sync r)
[(vector l m v)
[(vector l m v name)
(display (format "; [~a] ~a~a\n"
l m (if v (format " ~.s" v) "")))
(flush-output)])