2015-01-23 13:31:29 -05:00
|
|
|
# -*- coding: utf-8 -*-
|
2016-01-06 23:26:29 -05:00
|
|
|
# Copyright 2015, 2016 OpenMarket Ltd
|
2015-01-23 13:31:29 -05:00
|
|
|
#
|
|
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
# you may not use this file except in compliance with the License.
|
|
|
|
# You may obtain a copy of the License at
|
|
|
|
#
|
|
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
#
|
|
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
# See the License for the specific language governing permissions and
|
|
|
|
# limitations under the License.
|
|
|
|
|
|
|
|
from twisted.internet import defer
|
|
|
|
|
2015-04-21 11:35:53 -04:00
|
|
|
from synapse.http.servlet import (
|
2015-10-26 14:47:18 -04:00
|
|
|
RestServlet, parse_string, parse_integer, parse_boolean
|
2015-04-21 11:35:53 -04:00
|
|
|
)
|
2017-03-15 10:27:34 -04:00
|
|
|
from synapse.handlers.presence import format_user_presence_state
|
2015-01-26 13:53:31 -05:00
|
|
|
from synapse.handlers.sync import SyncConfig
|
|
|
|
from synapse.types import StreamToken
|
2015-01-28 21:45:33 -05:00
|
|
|
from synapse.events.utils import (
|
2015-11-12 05:33:19 -05:00
|
|
|
serialize_event, format_event_for_client_v2_without_room_id,
|
2015-01-28 21:45:33 -05:00
|
|
|
)
|
2016-01-22 05:41:30 -05:00
|
|
|
from synapse.api.filtering import FilterCollection, DEFAULT_FILTER_COLLECTION
|
2015-12-09 07:56:50 -05:00
|
|
|
from synapse.api.errors import SynapseError
|
2016-02-15 12:10:40 -05:00
|
|
|
from synapse.api.constants import PresenceState
|
2015-12-01 12:34:32 -05:00
|
|
|
from ._base import client_v2_patterns
|
2017-05-13 12:17:54 -04:00
|
|
|
from ._base import set_timeline_upper_limit
|
2015-01-23 13:31:29 -05:00
|
|
|
|
2016-02-11 04:22:37 -05:00
|
|
|
import itertools
|
2015-01-23 13:31:29 -05:00
|
|
|
import logging
|
|
|
|
|
2015-12-09 07:56:50 -05:00
|
|
|
import ujson as json
|
|
|
|
|
2015-01-23 13:31:29 -05:00
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
|
|
|
|
|
|
|
class SyncRestServlet(RestServlet):
|
|
|
|
"""
|
|
|
|
|
|
|
|
GET parameters::
|
|
|
|
timeout(int): How long to wait for new events in milliseconds.
|
|
|
|
since(batch_token): Batch token when asking for incremental deltas.
|
|
|
|
set_presence(str): What state the device presence should be set to.
|
|
|
|
default is "online".
|
|
|
|
filter(filter_id): A filter to apply to the events returned.
|
|
|
|
|
|
|
|
Response JSON::
|
|
|
|
{
|
2015-10-01 12:53:07 -04:00
|
|
|
"next_batch": // batch token for the next /sync
|
|
|
|
"presence": // presence data for the user.
|
2015-10-07 10:55:20 -04:00
|
|
|
"rooms": {
|
2015-12-09 07:56:50 -05:00
|
|
|
"join": { // Joined rooms being updated.
|
2015-10-07 10:55:20 -04:00
|
|
|
"${room_id}": { // Id of the room being updated
|
|
|
|
"event_map": // Map of EventID -> event JSON.
|
|
|
|
"timeline": { // The recent events in the room if gap is "true"
|
2015-10-01 12:53:07 -04:00
|
|
|
"limited": // Was the per-room event limit exceeded?
|
2015-10-07 10:55:20 -04:00
|
|
|
// otherwise the next events in the room.
|
|
|
|
"events": [] // list of EventIDs in the "event_map".
|
2015-10-01 12:53:07 -04:00
|
|
|
"prev_batch": // back token for getting previous events.
|
2015-10-07 10:55:20 -04:00
|
|
|
}
|
|
|
|
"state": {"events": []} // list of EventIDs updating the
|
|
|
|
// current state to be what it should
|
|
|
|
// be at the end of the batch.
|
|
|
|
"ephemeral": {"events": []} // list of event objects
|
2015-10-01 12:53:07 -04:00
|
|
|
}
|
2015-10-07 10:55:20 -04:00
|
|
|
},
|
2015-12-09 07:56:50 -05:00
|
|
|
"invite": {}, // Invited rooms being updated.
|
|
|
|
"leave": {} // Archived rooms being updated.
|
2015-10-01 12:53:07 -04:00
|
|
|
}
|
2015-01-23 13:31:29 -05:00
|
|
|
}
|
|
|
|
"""
|
|
|
|
|
2015-12-01 12:34:32 -05:00
|
|
|
PATTERNS = client_v2_patterns("/sync$")
|
2015-10-01 12:53:07 -04:00
|
|
|
ALLOWED_PRESENCE = set(["online", "offline"])
|
2015-01-23 13:31:29 -05:00
|
|
|
|
|
|
|
def __init__(self, hs):
|
|
|
|
super(SyncRestServlet, self).__init__()
|
2017-05-15 08:51:43 -04:00
|
|
|
self.hs = hs
|
2015-01-23 13:31:29 -05:00
|
|
|
self.auth = hs.get_auth()
|
2016-05-16 15:19:26 -04:00
|
|
|
self.sync_handler = hs.get_sync_handler()
|
2015-01-26 13:53:31 -05:00
|
|
|
self.clock = hs.get_clock()
|
2015-01-29 13:11:28 -05:00
|
|
|
self.filtering = hs.get_filtering()
|
2016-05-16 13:56:37 -04:00
|
|
|
self.presence_handler = hs.get_presence_handler()
|
2015-01-23 13:31:29 -05:00
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
|
|
|
def on_GET(self, request):
|
2016-01-20 10:42:57 -05:00
|
|
|
if "from" in request.args:
|
|
|
|
# /events used to use 'from', but /sync uses 'since'.
|
|
|
|
# Lets be helpful and whine if we see a 'from'.
|
|
|
|
raise SynapseError(
|
|
|
|
400, "'from' is not a valid query parameter. Did you mean 'since'?"
|
|
|
|
)
|
|
|
|
|
2016-01-11 10:29:57 -05:00
|
|
|
requester = yield self.auth.get_user_by_req(
|
2015-12-22 05:25:46 -05:00
|
|
|
request, allow_guest=True
|
|
|
|
)
|
2016-01-11 10:29:57 -05:00
|
|
|
user = requester.user
|
2016-08-25 12:35:37 -04:00
|
|
|
device_id = requester.device_id
|
2015-01-23 13:31:29 -05:00
|
|
|
|
2015-04-21 11:35:53 -04:00
|
|
|
timeout = parse_integer(request, "timeout", default=0)
|
|
|
|
since = parse_string(request, "since")
|
|
|
|
set_presence = parse_string(
|
2015-01-23 13:31:29 -05:00
|
|
|
request, "set_presence", default="online",
|
|
|
|
allowed_values=self.ALLOWED_PRESENCE
|
|
|
|
)
|
2015-04-21 11:35:53 -04:00
|
|
|
filter_id = parse_string(request, "filter", default=None)
|
2015-10-26 14:47:18 -04:00
|
|
|
full_state = parse_boolean(request, "full_state", default=False)
|
2015-01-23 13:31:29 -05:00
|
|
|
|
|
|
|
logger.info(
|
2015-10-01 12:53:07 -04:00
|
|
|
"/sync: user=%r, timeout=%r, since=%r,"
|
2016-08-25 12:35:37 -04:00
|
|
|
" set_presence=%r, filter_id=%r, device_id=%r" % (
|
|
|
|
user, timeout, since, set_presence, filter_id, device_id
|
2015-01-23 13:31:29 -05:00
|
|
|
)
|
|
|
|
)
|
|
|
|
|
2016-08-25 12:35:37 -04:00
|
|
|
request_key = (user, timeout, since, filter_id, full_state, device_id)
|
2016-03-24 13:47:31 -04:00
|
|
|
|
2016-01-22 05:41:30 -05:00
|
|
|
if filter_id:
|
|
|
|
if filter_id.startswith('{'):
|
|
|
|
try:
|
|
|
|
filter_object = json.loads(filter_id)
|
2017-05-13 12:17:54 -04:00
|
|
|
set_timeline_upper_limit(filter_object,
|
|
|
|
self.hs.config.filter_timeline_limit)
|
2016-01-22 05:41:30 -05:00
|
|
|
except:
|
|
|
|
raise SynapseError(400, "Invalid filter JSON")
|
|
|
|
self.filtering.check_valid_filter(filter_object)
|
|
|
|
filter = FilterCollection(filter_object)
|
|
|
|
else:
|
2015-12-09 07:56:50 -05:00
|
|
|
filter = yield self.filtering.get_user_filter(
|
|
|
|
user.localpart, filter_id
|
|
|
|
)
|
2016-01-22 05:41:30 -05:00
|
|
|
else:
|
|
|
|
filter = DEFAULT_FILTER_COLLECTION
|
2015-01-23 13:31:29 -05:00
|
|
|
|
2015-01-26 13:53:31 -05:00
|
|
|
sync_config = SyncConfig(
|
|
|
|
user=user,
|
2016-01-25 05:10:44 -05:00
|
|
|
filter_collection=filter,
|
2016-01-11 10:29:57 -05:00
|
|
|
is_guest=requester.is_guest,
|
2016-03-24 13:47:31 -04:00
|
|
|
request_key=request_key,
|
2016-08-25 12:35:37 -04:00
|
|
|
device_id=device_id,
|
2015-01-26 13:53:31 -05:00
|
|
|
)
|
|
|
|
|
|
|
|
if since is not None:
|
|
|
|
since_token = StreamToken.from_string(since)
|
2015-01-23 13:31:29 -05:00
|
|
|
else:
|
2015-01-26 13:53:31 -05:00
|
|
|
since_token = None
|
2015-01-23 13:31:29 -05:00
|
|
|
|
2016-02-15 12:10:40 -05:00
|
|
|
affect_presence = set_presence != PresenceState.OFFLINE
|
2015-10-09 14:57:50 -04:00
|
|
|
|
2016-02-15 12:10:40 -05:00
|
|
|
if affect_presence:
|
2016-08-10 07:57:30 -04:00
|
|
|
yield self.presence_handler.set_state(user, {"presence": set_presence}, True)
|
2016-02-15 12:10:40 -05:00
|
|
|
|
|
|
|
context = yield self.presence_handler.user_syncing(
|
|
|
|
user.to_string(), affect_presence=affect_presence,
|
|
|
|
)
|
|
|
|
with context:
|
2015-10-09 14:57:50 -04:00
|
|
|
sync_result = yield self.sync_handler.wait_for_sync_for_user(
|
2015-10-26 14:47:18 -04:00
|
|
|
sync_config, since_token=since_token, timeout=timeout,
|
|
|
|
full_state=full_state
|
2015-10-09 14:57:50 -04:00
|
|
|
)
|
2015-01-23 13:31:29 -05:00
|
|
|
|
2015-01-26 13:53:31 -05:00
|
|
|
time_now = self.clock.time_msec()
|
2017-07-10 10:42:17 -04:00
|
|
|
response_content = self.encode_response(time_now, sync_result, requester.access_token_id, filter)
|
2015-01-26 13:53:31 -05:00
|
|
|
|
2017-07-10 10:42:17 -04:00
|
|
|
defer.returnValue((200, response_content))
|
2015-10-19 12:26:18 -04:00
|
|
|
|
2017-07-10 10:42:17 -04:00
|
|
|
@staticmethod
|
|
|
|
def encode_response(time_now, sync_result, access_token_id, filter):
|
|
|
|
response = {
|
2017-05-19 10:47:55 -04:00
|
|
|
"device_one_time_keys_count": sync_result.device_one_time_keys_count,
|
2015-01-26 13:53:31 -05:00
|
|
|
"next_batch": sync_result.next_batch.to_string(),
|
|
|
|
}
|
2015-01-23 13:31:29 -05:00
|
|
|
|
2017-07-10 10:42:17 -04:00
|
|
|
if sync_result.account_data:
|
|
|
|
response["account_data"] = {"events": sync_result.account_data}
|
|
|
|
if sync_result.to_device:
|
|
|
|
response["to_device"] = {"events": sync_result.to_device}
|
|
|
|
if sync_result.device_lists:
|
|
|
|
response["device_lists"] = {
|
|
|
|
"changed": list(sync_result.device_lists),
|
|
|
|
}
|
2015-01-23 13:31:29 -05:00
|
|
|
|
2017-07-10 10:42:17 -04:00
|
|
|
if sync_result.presence:
|
|
|
|
response["presence"] = SyncRestServlet.encode_presence(
|
|
|
|
sync_result.presence, time_now
|
|
|
|
)
|
|
|
|
|
|
|
|
rooms = {}
|
|
|
|
if sync_result.joined:
|
|
|
|
rooms["join"] = SyncRestServlet.encode_joined(
|
|
|
|
sync_result.joined, time_now, access_token_id, filter.event_fields
|
|
|
|
)
|
|
|
|
if sync_result.invited:
|
|
|
|
rooms["invite"] = SyncRestServlet.encode_invited(
|
|
|
|
sync_result.invited, time_now, access_token_id
|
|
|
|
)
|
|
|
|
if sync_result.archived:
|
|
|
|
rooms["leave"] = SyncRestServlet.encode_archived(
|
|
|
|
sync_result.archived, time_now, access_token_id,
|
|
|
|
filter.event_fields,
|
|
|
|
)
|
|
|
|
|
|
|
|
if rooms:
|
|
|
|
response["rooms"] = rooms
|
|
|
|
|
|
|
|
return response
|
|
|
|
|
|
|
|
@staticmethod
|
|
|
|
def encode_presence(events, time_now):
|
2017-03-15 10:27:34 -04:00
|
|
|
return {
|
|
|
|
"events": [
|
|
|
|
{
|
|
|
|
"type": "m.presence",
|
|
|
|
"sender": event.user_id,
|
|
|
|
"content": format_user_presence_state(
|
|
|
|
event, time_now, include_user_id=False
|
|
|
|
),
|
|
|
|
}
|
|
|
|
for event in events
|
|
|
|
]
|
|
|
|
}
|
2015-12-01 13:41:32 -05:00
|
|
|
|
2017-07-10 10:42:17 -04:00
|
|
|
@staticmethod
|
|
|
|
def encode_joined(rooms, time_now, token_id, event_fields):
|
2015-11-13 05:31:15 -05:00
|
|
|
"""
|
|
|
|
Encode the joined rooms in a sync result
|
|
|
|
|
2016-04-01 11:08:59 -04:00
|
|
|
Args:
|
|
|
|
rooms(list[synapse.handlers.sync.JoinedSyncResult]): list of sync
|
|
|
|
results for rooms this user is joined to
|
|
|
|
time_now(int): current time - used as a baseline for age
|
|
|
|
calculations
|
|
|
|
token_id(int): ID of the user's auth token - used for namespacing
|
|
|
|
of transaction IDs
|
2016-11-22 05:14:05 -05:00
|
|
|
event_fields(list<str>): List of event fields to include. If empty,
|
|
|
|
all fields will be returned.
|
2016-04-01 11:08:59 -04:00
|
|
|
Returns:
|
|
|
|
dict[str, dict[str, object]]: the joined rooms list, in our
|
|
|
|
response format
|
2015-11-13 05:31:15 -05:00
|
|
|
"""
|
2015-10-07 10:55:20 -04:00
|
|
|
joined = {}
|
2015-10-05 11:39:22 -04:00
|
|
|
for room in rooms:
|
2017-07-10 10:42:17 -04:00
|
|
|
joined[room.room_id] = SyncRestServlet.encode_room(
|
2016-11-22 05:14:05 -05:00
|
|
|
room, time_now, token_id, only_fields=event_fields
|
2015-10-05 11:39:22 -04:00
|
|
|
)
|
|
|
|
|
2015-10-13 05:24:51 -04:00
|
|
|
return joined
|
2015-01-26 13:53:31 -05:00
|
|
|
|
2017-07-10 10:42:17 -04:00
|
|
|
@staticmethod
|
|
|
|
def encode_invited(rooms, time_now, token_id):
|
2015-11-13 05:31:15 -05:00
|
|
|
"""
|
|
|
|
Encode the invited rooms in a sync result
|
|
|
|
|
2016-04-01 11:08:59 -04:00
|
|
|
Args:
|
|
|
|
rooms(list[synapse.handlers.sync.InvitedSyncResult]): list of
|
|
|
|
sync results for rooms this user is joined to
|
|
|
|
time_now(int): current time - used as a baseline for age
|
|
|
|
calculations
|
|
|
|
token_id(int): ID of the user's auth token - used for namespacing
|
2015-11-13 05:31:15 -05:00
|
|
|
of transaction IDs
|
|
|
|
|
2016-04-01 11:08:59 -04:00
|
|
|
Returns:
|
|
|
|
dict[str, dict[str, object]]: the invited rooms list, in our
|
|
|
|
response format
|
2015-11-13 05:31:15 -05:00
|
|
|
"""
|
2015-10-13 06:03:48 -04:00
|
|
|
invited = {}
|
|
|
|
for room in rooms:
|
|
|
|
invite = serialize_event(
|
|
|
|
room.invite, time_now, token_id=token_id,
|
2015-11-12 05:33:19 -05:00
|
|
|
event_format=format_event_for_client_v2_without_room_id,
|
2017-04-26 11:18:08 -04:00
|
|
|
is_invite=True,
|
2015-10-13 06:03:48 -04:00
|
|
|
)
|
2016-01-25 05:10:44 -05:00
|
|
|
unsigned = dict(invite.get("unsigned", {}))
|
|
|
|
invite["unsigned"] = unsigned
|
|
|
|
invited_state = list(unsigned.pop("invite_room_state", []))
|
2015-10-13 06:03:48 -04:00
|
|
|
invited_state.append(invite)
|
|
|
|
invited[room.room_id] = {
|
2015-10-13 06:43:12 -04:00
|
|
|
"invite_state": {"events": invited_state}
|
2015-10-13 06:03:48 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
return invited
|
|
|
|
|
2017-07-10 10:42:17 -04:00
|
|
|
@staticmethod
|
|
|
|
def encode_archived(rooms, time_now, token_id, event_fields):
|
2015-11-13 05:31:15 -05:00
|
|
|
"""
|
|
|
|
Encode the archived rooms in a sync result
|
|
|
|
|
2016-04-01 11:08:59 -04:00
|
|
|
Args:
|
|
|
|
rooms (list[synapse.handlers.sync.ArchivedSyncResult]): list of
|
|
|
|
sync results for rooms this user is joined to
|
|
|
|
time_now(int): current time - used as a baseline for age
|
|
|
|
calculations
|
|
|
|
token_id(int): ID of the user's auth token - used for namespacing
|
|
|
|
of transaction IDs
|
2016-11-22 05:14:05 -05:00
|
|
|
event_fields(list<str>): List of event fields to include. If empty,
|
|
|
|
all fields will be returned.
|
2016-04-01 11:08:59 -04:00
|
|
|
Returns:
|
|
|
|
dict[str, dict[str, object]]: The invited rooms list, in our
|
|
|
|
response format
|
2015-11-13 05:31:15 -05:00
|
|
|
"""
|
2015-10-19 12:26:18 -04:00
|
|
|
joined = {}
|
|
|
|
for room in rooms:
|
2017-07-10 10:42:17 -04:00
|
|
|
joined[room.room_id] = SyncRestServlet.encode_room(
|
2016-11-22 05:14:05 -05:00
|
|
|
room, time_now, token_id, joined=False, only_fields=event_fields
|
2015-10-19 12:26:18 -04:00
|
|
|
)
|
|
|
|
|
|
|
|
return joined
|
|
|
|
|
2015-01-26 13:53:31 -05:00
|
|
|
@staticmethod
|
2016-11-22 05:14:05 -05:00
|
|
|
def encode_room(room, time_now, token_id, joined=True, only_fields=None):
|
2015-11-13 05:31:15 -05:00
|
|
|
"""
|
2016-04-01 11:08:59 -04:00
|
|
|
Args:
|
|
|
|
room (JoinedSyncResult|ArchivedSyncResult): sync result for a
|
|
|
|
single room
|
|
|
|
time_now (int): current time - used as a baseline for age
|
|
|
|
calculations
|
|
|
|
token_id (int): ID of the user's auth token - used for namespacing
|
|
|
|
of transaction IDs
|
|
|
|
joined (bool): True if the user is joined to this room - will mean
|
|
|
|
we handle ephemeral events
|
2016-11-22 05:14:05 -05:00
|
|
|
only_fields(list<str>): Optional. The list of event fields to include.
|
2016-04-01 11:08:59 -04:00
|
|
|
Returns:
|
|
|
|
dict[str, object]: the room, encoded in our response format
|
2015-11-13 05:31:15 -05:00
|
|
|
"""
|
2015-11-12 05:33:19 -05:00
|
|
|
def serialize(event):
|
|
|
|
# TODO(mjark): Respect formatting requirements in the filter.
|
|
|
|
return serialize_event(
|
|
|
|
event, time_now, token_id=token_id,
|
|
|
|
event_format=format_event_for_client_v2_without_room_id,
|
2016-11-22 05:14:05 -05:00
|
|
|
only_event_fields=only_fields,
|
2015-11-12 05:33:19 -05:00
|
|
|
)
|
|
|
|
|
2015-11-10 13:29:25 -05:00
|
|
|
state_dict = room.state
|
2016-01-25 05:10:44 -05:00
|
|
|
timeline_events = room.timeline.events
|
2015-11-10 13:29:25 -05:00
|
|
|
|
2016-01-25 05:10:44 -05:00
|
|
|
state_events = state_dict.values()
|
2015-01-26 13:53:31 -05:00
|
|
|
|
2016-02-11 04:22:37 -05:00
|
|
|
for event in itertools.chain(state_events, timeline_events):
|
|
|
|
# We've had bug reports that events were coming down under the
|
|
|
|
# wrong room.
|
|
|
|
if event.room_id != room.room_id:
|
|
|
|
logger.warn(
|
|
|
|
"Event %r is under room %r instead of %r",
|
|
|
|
event.event_id, room.room_id, event.room_id,
|
|
|
|
)
|
|
|
|
|
2015-11-12 05:33:19 -05:00
|
|
|
serialized_state = [serialize(e) for e in state_events]
|
|
|
|
serialized_timeline = [serialize(e) for e in timeline_events]
|
2015-10-19 12:26:18 -04:00
|
|
|
|
2016-01-25 05:10:44 -05:00
|
|
|
account_data = room.account_data
|
2015-11-02 11:23:15 -05:00
|
|
|
|
2015-01-28 22:33:51 -05:00
|
|
|
result = {
|
2015-10-08 10:17:43 -04:00
|
|
|
"timeline": {
|
2015-11-12 05:33:19 -05:00
|
|
|
"events": serialized_timeline,
|
2015-10-08 10:17:43 -04:00
|
|
|
"prev_batch": room.timeline.prev_batch.to_string(),
|
|
|
|
"limited": room.timeline.limited,
|
2015-01-26 13:53:31 -05:00
|
|
|
},
|
2015-11-19 07:23:42 -05:00
|
|
|
"state": {"events": serialized_state},
|
2015-11-18 10:31:04 -05:00
|
|
|
"account_data": {"events": account_data},
|
2015-01-26 13:53:31 -05:00
|
|
|
}
|
2015-10-19 12:26:18 -04:00
|
|
|
|
|
|
|
if joined:
|
2016-01-25 05:10:44 -05:00
|
|
|
ephemeral_events = room.ephemeral
|
2015-10-19 12:26:18 -04:00
|
|
|
result["ephemeral"] = {"events": ephemeral_events}
|
2016-01-19 12:19:53 -05:00
|
|
|
result["unread_notifications"] = room.unread_notifications
|
2015-10-19 12:26:18 -04:00
|
|
|
|
2015-01-28 22:33:51 -05:00
|
|
|
return result
|
2015-01-26 13:53:31 -05:00
|
|
|
|
2015-01-23 13:31:29 -05:00
|
|
|
|
|
|
|
def register_servlets(hs, http_server):
|
|
|
|
SyncRestServlet(hs).register(http_server)
|