pushEnd property

num pushEnd
final

Time the server finished pushing request.

Implementation

final num pushEnd;