3.1.5 Timer Events

The Enumeration Garbage Collection timer MUST be started by the Web Services Management Protocol Extensions for Windows Server 2003 server when it sends an EnumerationResponse or a PullResponse message, unless the server is sending an EnumerationResponse or a PullResponse message because of a timeout event, as specified by wsman:OperationTimeout (section 3.1.4.1.7) or wsen:MaxTime (section 3.1.4.1.8) as appropriate. In these timeout events, the server MUST end the enumeration request altogether. There MUST be a unique timer for each enumeration. Upon receipt of a Pull or Release request, the Enumeration Garbage Collection timer for that enumeration MUST be canceled.

The Enumeration Garbage Collection timer MUST expire after the number of milliseconds given by the EnumerationTimeoutms configuration setting defined in section 2.2.4.7. Upon expiration of this timer, the Web Services Management Protocol Extensions for Windows Server 2003 server MUST return a wsen:InvalidEnumerationContext fault in response to a Pull or Release request that contains the enumeration context value of the last PullResponse message or the EnumerateResponse if no PullResponse messages were sent.