playframework/Play20 — pull request #515 by jroper (2012-11-05 00:26:07+00:00)
Title: [#836] Use eventIdExtractor

I think this is what was meant to be done with the eventIdExtractor. I also changed the event: line to be ended with crlf instead of just lf, because the data line ends with crlf and although both are valid according to the spec, probably better to be consistent.