|
@@ -357,12 +357,12 @@ class DeviceInboxStore(BackgroundUpdateStore):
|
|
|
"""
|
|
|
Args:
|
|
|
destination(str): The name of the remote server.
|
|
|
- last_stream_id(int): The last position of the device message stream
|
|
|
+ last_stream_id(int|long): The last position of the device message stream
|
|
|
that the server sent up to.
|
|
|
- current_stream_id(int): The current position of the device
|
|
|
+ current_stream_id(int|long): The current position of the device
|
|
|
message stream.
|
|
|
Returns:
|
|
|
- Deferred ([dict], int): List of messages for the device and where
|
|
|
+ Deferred ([dict], int|long): List of messages for the device and where
|
|
|
in the stream the messages got to.
|
|
|
"""
|
|
|
|