tree 9aa512354efd48e2dbdea2c61573c3a2cbebf20e
parent 1d7b6903d5ec449ba5d68c039e632d1d4072863c
author Andrew Thompson <andrew@hijacked.us> 1316706075 -0400
committer Andrew Thompson <andrew@hijacked.us> 1316706075 -0400

Fix how the name/pid of the process is printed in crash reports

Before this fix, the code assumed that processes without a registered
name omitted the {registered_name, X} tuple in the crash report. In
actual fact, process_info/2 returns [] when the process has no
registered name, so unregistered processes were being printed with a
"name" of "[]". This corrects the code to print the Pid in this case
instead.