diff -r ad306c5ae689 -r ff7f6668b34f tools/erlparse.lua --- a/tools/erlparse.lua Thu Mar 25 19:34:05 2010 +0000 +++ b/tools/erlparse.lua Thu Mar 25 19:34:41 2010 +0000 @@ -121,6 +121,12 @@ end local function readBinary() read("<"); -- read < + -- Discard PIDs + if isNumeric(peek()) then + while peek() ~= ">" do read(); end + read(">"); + return {}; + end local t = readTuple(); read(">") -- read > local ch = peek();