#--
-# $Id: eet.rb 40 2005-05-18 19:04:52Z tilman $
+# $Id: eet.rb 44 2005-05-25 19:51:25Z tilman $
#
# Copyright (c) 2005 Tilman Sauerbeck (tilman at code-monkey de)
#
def Stream.deserialize(data)
data = data.to_str.dup
s = Stream.new
+ offset = 0
- while data.length > 0
- s << Chunk.deserialize(data)
+ while offset < data.length
+ c, bytes = Chunk.deserialize(data[offset..-1])
+
+ s << c
+ offset += bytes
end
s
c = Chunk.new(*data[8, size].split("\0", 2))
- data.replace(data[8 + size..-1] || "")
-
- c
+ [c, 8 + size]
end
end
end