tools/erlparse.lua

changeset 2947
ff7f6668b34f
parent 2946
ad306c5ae689
--- 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();

mercurial