mirror of
https://git.anonymousland.org/anonymousland/synapse.git
synced 2025-05-03 01:14:48 -04:00
Add a type hints for service notices to the HomeServer object. (#9675)
This commit is contained in:
parent
e550ab17ad
commit
7e8dc9934e
11 changed files with 52 additions and 40 deletions
|
@ -14,7 +14,7 @@
|
|||
# limitations under the License.
|
||||
|
||||
import logging
|
||||
from typing import List, Tuple
|
||||
from typing import List, Optional, Tuple
|
||||
|
||||
from synapse.logging.opentracing import log_kv, set_tag, trace
|
||||
from synapse.replication.tcp.streams import ToDeviceStream
|
||||
|
@ -115,7 +115,7 @@ class DeviceInboxWorkerStore(SQLBaseStore):
|
|||
async def get_new_messages_for_device(
|
||||
self,
|
||||
user_id: str,
|
||||
device_id: str,
|
||||
device_id: Optional[str],
|
||||
last_stream_id: int,
|
||||
current_stream_id: int,
|
||||
limit: int = 100,
|
||||
|
@ -163,7 +163,7 @@ class DeviceInboxWorkerStore(SQLBaseStore):
|
|||
|
||||
@trace
|
||||
async def delete_messages_for_device(
|
||||
self, user_id: str, device_id: str, up_to_stream_id: int
|
||||
self, user_id: str, device_id: Optional[str], up_to_stream_id: int
|
||||
) -> int:
|
||||
"""
|
||||
Args:
|
||||
|
|
|
@ -13,7 +13,7 @@
|
|||
# See the License for the specific language governing permissions and
|
||||
# limitations under the License.
|
||||
import logging
|
||||
from typing import Dict, List
|
||||
from typing import Dict, List, Optional
|
||||
|
||||
from synapse.metrics.background_process_metrics import wrap_as_background_process
|
||||
from synapse.storage._base import SQLBaseStore
|
||||
|
@ -109,7 +109,7 @@ class MonthlyActiveUsersWorkerStore(SQLBaseStore):
|
|||
return users
|
||||
|
||||
@cached(num_args=1)
|
||||
async def user_last_seen_monthly_active(self, user_id: str) -> int:
|
||||
async def user_last_seen_monthly_active(self, user_id: str) -> Optional[int]:
|
||||
"""
|
||||
Checks if a given user is part of the monthly active user group
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue