[Jmap] WebSocket Push question

[Jim Fenton <[e-mail]>]

In Section 4.3 of the draft, after establishing the WebSocket
connection, the client does a WebSocketPushEnable with a pushState of
aaa. Where did this initial state come from, a previous session perhaps?
If not, I wonder if the pushState parameter should have been left off.

Presuming this is from a revious session, I'm wondering how the server
manages the pushStates. Does it need to keep an archive of all of the
pushStates it has used, so that multiple clients can establish a
WebSocket connection and resume from where they left off? Or is there
some per-client tag that it can use to maintain only one pushState per
client?

-Jim