[cse491] Some useful functions for parsing headers

[C. Titus Brown]

Hi all,

s.splitlines() will split a long string on the end-of-line character.

to parse each individual header line,

	k, v = header_line.split(': ', 1)

will work (as will regexps and 'partition').

--titus
-- 
C. Titus Brown, ctb at msu.edu