mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 21:43:21 +00:00
735b49e505
Since a user could use the same installation of the Zulip mobile app with multiple Zulip servers, correct behavior is to allow reusing the same token with multiple Zulip servers in the RemotePushDeviceToken model.
29 lines
1.1 KiB
Python
29 lines
1.1 KiB
Python
from django.db import models
|
|
from django.db.models import Manager
|
|
from typing import Dict, Optional, Text
|
|
|
|
import zerver.models
|
|
import datetime
|
|
|
|
def get_remote_server_by_uuid(uuid):
|
|
# type: (Text) -> RemoteZulipServer
|
|
return RemoteZulipServer.objects.get(uuid=uuid)
|
|
|
|
class RemoteZulipServer(models.Model):
|
|
uuid = models.CharField(max_length=36, unique=True) # type: Text
|
|
api_key = models.CharField(max_length=64) # type: Text
|
|
|
|
hostname = models.CharField(max_length=128, unique=True) # type: Text
|
|
contact_email = models.EmailField(blank=True, null=False) # type: Text
|
|
last_updated = models.DateTimeField('last updated', auto_now=True) # type: datetime.datetime
|
|
|
|
# Variant of PushDeviceToken for a remote server.
|
|
class RemotePushDeviceToken(zerver.models.AbstractPushDeviceToken):
|
|
server = models.ForeignKey(RemoteZulipServer) # type: RemoteZulipServer
|
|
# The user id on the remote server for this device device this is
|
|
user_id = models.BigIntegerField(db_index=True) # type: int
|
|
token = models.CharField(max_length=4096, db_index=True) # type: bytes
|
|
|
|
class Meta(object):
|
|
unique_together = ("server", "token")
|