push
Pushes a JS5 request to this client, adding it to the end of the respective queue. If this is an urgent request, the request itself is removed from the prefetch list, if it exists. This is a one-way operation, however, as the client by default can only request duplicate requests via this manner. Any modifications to the client can by-pass this, but that is a non issue since we offer a fair JS5 service where the actual request doesn't matter and the number of bytes written is all the same to everyone connected.
Parameters
request
the request to add to this client