2015-10-09 08:48:31 -06:00
|
|
|
# -*- coding: utf-8 -*-
|
2016-01-06 21:26:29 -07:00
|
|
|
# Copyright 2015, 2016 OpenMarket Ltd
|
2015-10-09 08:48:31 -06: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.
|
|
|
|
|
2018-07-09 00:09:20 -06:00
|
|
|
import itertools
|
|
|
|
import logging
|
2015-10-09 08:48:31 -06:00
|
|
|
|
2018-07-09 00:09:20 -06:00
|
|
|
from unpaddedbase64 import decode_base64, encode_base64
|
2015-10-09 08:48:31 -06:00
|
|
|
|
2018-07-09 00:09:20 -06:00
|
|
|
from twisted.internet import defer
|
|
|
|
|
|
|
|
from synapse.api.constants import EventTypes, Membership
|
2015-10-09 08:48:31 -06:00
|
|
|
from synapse.api.errors import SynapseError
|
2018-07-09 00:09:20 -06:00
|
|
|
from synapse.api.filtering import Filter
|
2015-10-09 08:48:31 -06:00
|
|
|
from synapse.events.utils import serialize_event
|
2018-10-30 11:33:41 -06:00
|
|
|
from synapse.storage.state import StateFilter
|
2016-05-11 06:42:37 -06:00
|
|
|
from synapse.visibility import filter_events_for_client
|
2015-10-09 08:48:31 -06:00
|
|
|
|
2018-07-09 00:09:20 -06:00
|
|
|
from ._base import BaseHandler
|
2015-10-09 08:48:31 -06:00
|
|
|
|
|
|
|
logger = logging.getLogger(__name__)
|
|
|
|
|
|
|
|
|
|
|
|
class SearchHandler(BaseHandler):
|
|
|
|
|
|
|
|
def __init__(self, hs):
|
|
|
|
super(SearchHandler, self).__init__(hs)
|
|
|
|
|
|
|
|
@defer.inlineCallbacks
|
2015-11-05 07:34:37 -07:00
|
|
|
def search(self, user, content, batch=None):
|
2015-10-16 04:52:16 -06:00
|
|
|
"""Performs a full text search for a user.
|
|
|
|
|
|
|
|
Args:
|
|
|
|
user (UserID)
|
|
|
|
content (dict): Search parameters
|
2015-11-05 07:34:37 -07:00
|
|
|
batch (str): The next_batch parameter. Used for pagination.
|
2015-10-16 04:52:16 -06:00
|
|
|
|
|
|
|
Returns:
|
|
|
|
dict to be returned to the client with results of search
|
|
|
|
"""
|
|
|
|
|
2018-12-04 04:01:02 -07:00
|
|
|
if not self.hs.config.enable_search:
|
|
|
|
raise SynapseError(400, "Search is disabled on this homeserver")
|
|
|
|
|
2015-11-05 07:34:37 -07:00
|
|
|
batch_group = None
|
|
|
|
batch_group_key = None
|
|
|
|
batch_token = None
|
|
|
|
if batch:
|
|
|
|
try:
|
2018-09-06 08:22:23 -06:00
|
|
|
b = decode_base64(batch).decode('ascii')
|
2015-11-05 07:34:37 -07:00
|
|
|
batch_group, batch_group_key, batch_token = b.split("\n")
|
|
|
|
|
|
|
|
assert batch_group is not None
|
|
|
|
assert batch_group_key is not None
|
|
|
|
assert batch_token is not None
|
2017-10-23 08:52:32 -06:00
|
|
|
except Exception:
|
2015-11-05 07:34:37 -07:00
|
|
|
raise SynapseError(400, "Invalid batch")
|
|
|
|
|
2018-05-22 10:21:18 -06:00
|
|
|
logger.info(
|
|
|
|
"Search batch properties: %r, %r, %r",
|
|
|
|
batch_group, batch_group_key, batch_token,
|
|
|
|
)
|
|
|
|
|
|
|
|
logger.info("Search content: %s", content)
|
|
|
|
|
2015-10-13 08:22:14 -06:00
|
|
|
try:
|
2015-11-04 10:57:44 -07:00
|
|
|
room_cat = content["search_categories"]["room_events"]
|
2015-11-05 09:29:16 -07:00
|
|
|
|
|
|
|
# The actual thing to query in FTS
|
2015-11-04 10:57:44 -07:00
|
|
|
search_term = room_cat["search_term"]
|
2015-11-05 09:29:16 -07:00
|
|
|
|
|
|
|
# Which "keys" to search over in FTS query
|
2015-11-04 10:57:44 -07:00
|
|
|
keys = room_cat.get("keys", [
|
2015-10-14 03:35:50 -06:00
|
|
|
"content.body", "content.name", "content.topic",
|
|
|
|
])
|
2015-11-05 09:29:16 -07:00
|
|
|
|
|
|
|
# Filter to apply to results
|
2015-11-04 10:57:44 -07:00
|
|
|
filter_dict = room_cat.get("filter", {})
|
2015-11-05 09:29:16 -07:00
|
|
|
|
|
|
|
# What to order results by (impacts whether pagination can be doen)
|
2015-11-04 10:57:44 -07:00
|
|
|
order_by = room_cat.get("order_by", "rank")
|
2015-11-05 09:29:16 -07:00
|
|
|
|
2015-11-20 07:16:42 -07:00
|
|
|
# Return the current state of the rooms?
|
|
|
|
include_state = room_cat.get("include_state", False)
|
|
|
|
|
2015-11-05 09:29:16 -07:00
|
|
|
# Include context around each event?
|
2015-11-04 10:57:44 -07:00
|
|
|
event_context = room_cat.get(
|
2015-10-28 12:25:11 -06:00
|
|
|
"event_context", None
|
|
|
|
)
|
|
|
|
|
2015-11-05 09:29:16 -07:00
|
|
|
# Group results together? May allow clients to paginate within a
|
|
|
|
# group
|
2015-11-04 10:57:44 -07:00
|
|
|
group_by = room_cat.get("groupings", {}).get("group_by", {})
|
|
|
|
group_keys = [g["key"] for g in group_by]
|
|
|
|
|
2015-10-28 12:25:11 -06:00
|
|
|
if event_context is not None:
|
|
|
|
before_limit = int(event_context.get(
|
|
|
|
"before_limit", 5
|
|
|
|
))
|
|
|
|
after_limit = int(event_context.get(
|
|
|
|
"after_limit", 5
|
|
|
|
))
|
2015-11-20 07:16:42 -07:00
|
|
|
|
|
|
|
# Return the historic display name and avatar for the senders
|
|
|
|
# of the events?
|
2015-11-20 04:39:44 -07:00
|
|
|
include_profile = bool(event_context.get("include_profile", False))
|
2015-10-13 08:22:14 -06:00
|
|
|
except KeyError:
|
|
|
|
raise SynapseError(400, "Invalid search query")
|
2015-10-09 08:48:31 -06:00
|
|
|
|
2015-11-04 10:57:44 -07:00
|
|
|
if order_by not in ("rank", "recent"):
|
|
|
|
raise SynapseError(400, "Invalid order by: %r" % (order_by,))
|
|
|
|
|
|
|
|
if set(group_keys) - {"room_id", "sender"}:
|
|
|
|
raise SynapseError(
|
|
|
|
400,
|
|
|
|
"Invalid group by keys: %r" % (set(group_keys) - {"room_id", "sender"},)
|
|
|
|
)
|
|
|
|
|
2015-10-22 09:19:53 -06:00
|
|
|
search_filter = Filter(filter_dict)
|
2015-10-20 10:09:53 -06:00
|
|
|
|
2015-10-14 02:46:31 -06:00
|
|
|
# TODO: Search through left rooms too
|
2015-10-13 03:36:36 -06:00
|
|
|
rooms = yield self.store.get_rooms_for_user_where_membership_is(
|
2015-10-13 08:22:14 -06:00
|
|
|
user.to_string(),
|
|
|
|
membership_list=[Membership.JOIN],
|
|
|
|
# membership_list=[Membership.JOIN, Membership.LEAVE, Membership.Ban],
|
2015-10-12 03:49:53 -06:00
|
|
|
)
|
|
|
|
room_ids = set(r.room_id for r in rooms)
|
2015-10-09 08:48:31 -06:00
|
|
|
|
2015-10-22 09:19:53 -06:00
|
|
|
room_ids = search_filter.filter_rooms(room_ids)
|
2015-10-14 02:46:31 -06:00
|
|
|
|
2015-11-05 07:34:37 -07:00
|
|
|
if batch_group == "room_id":
|
2015-11-05 10:26:19 -07:00
|
|
|
room_ids.intersection_update({batch_group_key})
|
2015-11-05 07:34:37 -07:00
|
|
|
|
2015-11-30 10:45:31 -07:00
|
|
|
if not room_ids:
|
|
|
|
defer.returnValue({
|
|
|
|
"search_categories": {
|
|
|
|
"room_events": {
|
2015-12-01 07:48:35 -07:00
|
|
|
"results": [],
|
2015-11-30 10:45:31 -07:00
|
|
|
"count": 0,
|
|
|
|
"highlights": [],
|
|
|
|
}
|
|
|
|
}
|
|
|
|
})
|
|
|
|
|
2015-11-05 09:29:16 -07:00
|
|
|
rank_map = {} # event_id -> rank of event
|
2015-11-04 10:57:44 -07:00
|
|
|
allowed_events = []
|
2015-11-05 09:29:16 -07:00
|
|
|
room_groups = {} # Holds result of grouping by room, if applicable
|
|
|
|
sender_group = {} # Holds result of grouping by sender, if applicable
|
|
|
|
|
|
|
|
# Holds the next_batch for the entire result set if one of those exists
|
2015-11-05 07:34:37 -07:00
|
|
|
global_next_batch = None
|
2015-10-12 08:52:55 -06:00
|
|
|
|
2015-11-27 09:40:42 -07:00
|
|
|
highlights = set()
|
|
|
|
|
2015-12-11 04:40:23 -07:00
|
|
|
count = None
|
|
|
|
|
2015-11-04 10:57:44 -07:00
|
|
|
if order_by == "rank":
|
2015-11-27 09:40:42 -07:00
|
|
|
search_result = yield self.store.search_msgs(
|
2015-11-04 10:57:44 -07:00
|
|
|
room_ids, search_term, keys
|
|
|
|
)
|
2015-10-20 10:09:53 -06:00
|
|
|
|
2015-12-11 04:40:23 -07:00
|
|
|
count = search_result["count"]
|
|
|
|
|
2015-11-27 09:40:42 -07:00
|
|
|
if search_result["highlights"]:
|
|
|
|
highlights.update(search_result["highlights"])
|
|
|
|
|
|
|
|
results = search_result["results"]
|
|
|
|
|
2015-11-05 07:34:37 -07:00
|
|
|
results_map = {r["event"].event_id: r for r in results}
|
|
|
|
|
|
|
|
rank_map.update({r["event"].event_id: r["rank"] for r in results})
|
|
|
|
|
|
|
|
filtered_events = search_filter.filter([r["event"] for r in results])
|
2015-10-12 03:49:53 -06:00
|
|
|
|
2016-05-11 06:42:37 -06:00
|
|
|
events = yield filter_events_for_client(
|
|
|
|
self.store, user.to_string(), filtered_events
|
2015-11-04 10:57:44 -07:00
|
|
|
)
|
|
|
|
|
|
|
|
events.sort(key=lambda e: -rank_map[e.event_id])
|
|
|
|
allowed_events = events[:search_filter.limit()]
|
|
|
|
|
|
|
|
for e in allowed_events:
|
|
|
|
rm = room_groups.setdefault(e.room_id, {
|
|
|
|
"results": [],
|
|
|
|
"order": rank_map[e.event_id],
|
|
|
|
})
|
|
|
|
rm["results"].append(e.event_id)
|
|
|
|
|
|
|
|
s = sender_group.setdefault(e.sender, {
|
|
|
|
"results": [],
|
|
|
|
"order": rank_map[e.event_id],
|
|
|
|
})
|
|
|
|
s["results"].append(e.event_id)
|
|
|
|
|
|
|
|
elif order_by == "recent":
|
2015-11-30 10:45:31 -07:00
|
|
|
room_events = []
|
|
|
|
i = 0
|
|
|
|
|
|
|
|
pagination_token = batch_token
|
|
|
|
|
|
|
|
# We keep looping and we keep filtering until we reach the limit
|
|
|
|
# or we run out of things.
|
|
|
|
# But only go around 5 times since otherwise synapse will be sad.
|
|
|
|
while len(room_events) < search_filter.limit() and i < 5:
|
|
|
|
i += 1
|
|
|
|
search_result = yield self.store.search_rooms(
|
|
|
|
room_ids, search_term, keys, search_filter.limit() * 2,
|
|
|
|
pagination_token=pagination_token,
|
|
|
|
)
|
|
|
|
|
|
|
|
if search_result["highlights"]:
|
|
|
|
highlights.update(search_result["highlights"])
|
|
|
|
|
2015-12-11 04:40:23 -07:00
|
|
|
count = search_result["count"]
|
|
|
|
|
2015-11-30 10:45:31 -07:00
|
|
|
results = search_result["results"]
|
|
|
|
|
|
|
|
results_map = {r["event"].event_id: r for r in results}
|
|
|
|
|
|
|
|
rank_map.update({r["event"].event_id: r["rank"] for r in results})
|
|
|
|
|
|
|
|
filtered_events = search_filter.filter([
|
|
|
|
r["event"] for r in results
|
|
|
|
])
|
|
|
|
|
2016-05-11 06:42:37 -06:00
|
|
|
events = yield filter_events_for_client(
|
|
|
|
self.store, user.to_string(), filtered_events
|
2015-11-30 10:45:31 -07:00
|
|
|
)
|
|
|
|
|
|
|
|
room_events.extend(events)
|
|
|
|
room_events = room_events[:search_filter.limit()]
|
|
|
|
|
|
|
|
if len(results) < search_filter.limit() * 2:
|
2015-11-05 07:34:37 -07:00
|
|
|
pagination_token = None
|
2015-12-01 04:06:40 -07:00
|
|
|
break
|
2015-11-05 07:34:37 -07:00
|
|
|
else:
|
2015-11-30 10:45:31 -07:00
|
|
|
pagination_token = results[-1]["pagination_token"]
|
|
|
|
|
2015-12-01 04:06:40 -07:00
|
|
|
for event in room_events:
|
|
|
|
group = room_groups.setdefault(event.room_id, {
|
|
|
|
"results": [],
|
|
|
|
})
|
|
|
|
group["results"].append(event.event_id)
|
2015-11-30 10:45:31 -07:00
|
|
|
|
2015-12-01 04:06:40 -07:00
|
|
|
if room_events and len(room_events) >= search_filter.limit():
|
|
|
|
last_event_id = room_events[-1].event_id
|
|
|
|
pagination_token = results_map[last_event_id]["pagination_token"]
|
2015-11-30 10:45:31 -07:00
|
|
|
|
2015-12-01 09:36:46 -07:00
|
|
|
# We want to respect the given batch group and group keys so
|
|
|
|
# that if people blindly use the top level `next_batch` token
|
|
|
|
# it returns more from the same group (if applicable) rather
|
|
|
|
# than reverting to searching all results again.
|
|
|
|
if batch_group and batch_group_key:
|
2018-09-06 08:22:23 -06:00
|
|
|
global_next_batch = encode_base64(("%s\n%s\n%s" % (
|
2015-12-01 09:36:46 -07:00
|
|
|
batch_group, batch_group_key, pagination_token
|
2018-09-06 08:22:23 -06:00
|
|
|
)).encode('ascii'))
|
2015-12-01 09:36:46 -07:00
|
|
|
else:
|
2018-09-06 08:22:23 -06:00
|
|
|
global_next_batch = encode_base64(("%s\n%s\n%s" % (
|
2015-12-01 09:36:46 -07:00
|
|
|
"all", "", pagination_token
|
2018-09-06 08:22:23 -06:00
|
|
|
)).encode('ascii'))
|
2015-11-30 10:45:31 -07:00
|
|
|
|
|
|
|
for room_id, group in room_groups.items():
|
2018-09-06 08:22:23 -06:00
|
|
|
group["next_batch"] = encode_base64(("%s\n%s\n%s" % (
|
2015-11-30 10:45:31 -07:00
|
|
|
"room_id", room_id, pagination_token
|
2018-09-06 08:22:23 -06:00
|
|
|
)).encode('ascii'))
|
2015-11-30 10:45:31 -07:00
|
|
|
|
|
|
|
allowed_events.extend(room_events)
|
2015-11-04 10:57:44 -07:00
|
|
|
|
|
|
|
else:
|
|
|
|
# We should never get here due to the guard earlier.
|
|
|
|
raise NotImplementedError()
|
2015-10-29 10:17:47 -06:00
|
|
|
|
2018-05-22 10:21:18 -06:00
|
|
|
logger.info("Found %d events to return", len(allowed_events))
|
|
|
|
|
2015-11-05 09:29:16 -07:00
|
|
|
# If client has asked for "context" for each event (i.e. some surrounding
|
|
|
|
# events and state), fetch that
|
2015-10-28 12:25:11 -06:00
|
|
|
if event_context is not None:
|
|
|
|
now_token = yield self.hs.get_event_sources().get_current_token()
|
|
|
|
|
|
|
|
contexts = {}
|
|
|
|
for event in allowed_events:
|
|
|
|
res = yield self.store.get_events_around(
|
2018-07-27 08:12:50 -06:00
|
|
|
event.room_id, event.event_id, before_limit, after_limit,
|
2015-10-28 12:25:11 -06:00
|
|
|
)
|
|
|
|
|
2018-05-22 10:26:46 -06:00
|
|
|
logger.info(
|
|
|
|
"Context for search returned %d and %d events",
|
|
|
|
len(res["events_before"]), len(res["events_after"]),
|
|
|
|
)
|
|
|
|
|
2016-05-11 06:42:37 -06:00
|
|
|
res["events_before"] = yield filter_events_for_client(
|
|
|
|
self.store, user.to_string(), res["events_before"]
|
2015-10-28 12:25:11 -06:00
|
|
|
)
|
|
|
|
|
2016-05-11 06:42:37 -06:00
|
|
|
res["events_after"] = yield filter_events_for_client(
|
|
|
|
self.store, user.to_string(), res["events_after"]
|
2015-10-28 12:25:11 -06:00
|
|
|
)
|
|
|
|
|
|
|
|
res["start"] = now_token.copy_and_replace(
|
|
|
|
"room_key", res["start"]
|
|
|
|
).to_string()
|
|
|
|
|
|
|
|
res["end"] = now_token.copy_and_replace(
|
|
|
|
"room_key", res["end"]
|
|
|
|
).to_string()
|
|
|
|
|
2015-11-20 04:39:44 -07:00
|
|
|
if include_profile:
|
|
|
|
senders = set(
|
|
|
|
ev.sender
|
|
|
|
for ev in itertools.chain(
|
|
|
|
res["events_before"], [event], res["events_after"]
|
|
|
|
)
|
|
|
|
)
|
|
|
|
|
|
|
|
if res["events_after"]:
|
|
|
|
last_event_id = res["events_after"][-1].event_id
|
|
|
|
else:
|
|
|
|
last_event_id = event.event_id
|
|
|
|
|
2018-10-30 11:33:41 -06:00
|
|
|
state_filter = StateFilter.from_types(
|
|
|
|
[(EventTypes.Member, sender) for sender in senders]
|
|
|
|
)
|
|
|
|
|
2015-11-20 04:39:44 -07:00
|
|
|
state = yield self.store.get_state_for_event(
|
2018-10-30 11:33:41 -06:00
|
|
|
last_event_id, state_filter
|
2015-11-20 04:39:44 -07:00
|
|
|
)
|
|
|
|
|
|
|
|
res["profile_info"] = {
|
|
|
|
s.state_key: {
|
|
|
|
"displayname": s.content.get("displayname", None),
|
|
|
|
"avatar_url": s.content.get("avatar_url", None),
|
|
|
|
}
|
|
|
|
for s in state.values()
|
|
|
|
if s.type == EventTypes.Member and s.state_key in senders
|
|
|
|
}
|
|
|
|
|
2015-10-28 12:25:11 -06:00
|
|
|
contexts[event.event_id] = res
|
|
|
|
else:
|
|
|
|
contexts = {}
|
|
|
|
|
2015-10-14 02:49:00 -06:00
|
|
|
# TODO: Add a limit
|
|
|
|
|
2015-10-12 03:49:53 -06:00
|
|
|
time_now = self.clock.time_msec()
|
|
|
|
|
2015-10-28 12:25:11 -06:00
|
|
|
for context in contexts.values():
|
|
|
|
context["events_before"] = [
|
|
|
|
serialize_event(e, time_now)
|
|
|
|
for e in context["events_before"]
|
|
|
|
]
|
|
|
|
context["events_after"] = [
|
|
|
|
serialize_event(e, time_now)
|
|
|
|
for e in context["events_after"]
|
|
|
|
]
|
|
|
|
|
2015-11-20 07:16:42 -07:00
|
|
|
state_results = {}
|
|
|
|
if include_state:
|
|
|
|
rooms = set(e.room_id for e in allowed_events)
|
|
|
|
for room_id in rooms:
|
|
|
|
state = yield self.state_handler.get_current_state(room_id)
|
2018-05-31 03:03:47 -06:00
|
|
|
state_results[room_id] = list(state.values())
|
2015-11-20 07:16:42 -07:00
|
|
|
|
|
|
|
state_results.values()
|
|
|
|
|
|
|
|
# We're now about to serialize the events. We should not make any
|
|
|
|
# blocking calls after this. Otherwise the 'age' will be wrong
|
|
|
|
|
2015-12-01 07:48:35 -07:00
|
|
|
results = [
|
|
|
|
{
|
2015-10-12 08:52:55 -06:00
|
|
|
"rank": rank_map[e.event_id],
|
2015-10-28 12:25:11 -06:00
|
|
|
"result": serialize_event(e, time_now),
|
|
|
|
"context": contexts.get(e.event_id, {}),
|
2015-10-09 08:48:31 -06:00
|
|
|
}
|
2015-10-12 08:52:55 -06:00
|
|
|
for e in allowed_events
|
2015-12-01 07:48:35 -07:00
|
|
|
]
|
2015-10-09 08:48:31 -06:00
|
|
|
|
2015-11-04 10:57:44 -07:00
|
|
|
rooms_cat_res = {
|
|
|
|
"results": results,
|
2015-12-11 04:40:23 -07:00
|
|
|
"count": count,
|
2015-11-27 09:40:42 -07:00
|
|
|
"highlights": list(highlights),
|
2015-11-04 10:57:44 -07:00
|
|
|
}
|
|
|
|
|
2015-11-20 07:16:42 -07:00
|
|
|
if state_results:
|
|
|
|
rooms_cat_res["state"] = {
|
|
|
|
room_id: [serialize_event(e, time_now) for e in state]
|
|
|
|
for room_id, state in state_results.items()
|
|
|
|
}
|
|
|
|
|
2015-11-04 10:57:44 -07:00
|
|
|
if room_groups and "room_id" in group_keys:
|
|
|
|
rooms_cat_res.setdefault("groups", {})["room_id"] = room_groups
|
|
|
|
|
|
|
|
if sender_group and "sender" in group_keys:
|
|
|
|
rooms_cat_res.setdefault("groups", {})["sender"] = sender_group
|
|
|
|
|
2015-11-05 07:34:37 -07:00
|
|
|
if global_next_batch:
|
|
|
|
rooms_cat_res["next_batch"] = global_next_batch
|
|
|
|
|
2015-10-12 03:49:53 -06:00
|
|
|
defer.returnValue({
|
|
|
|
"search_categories": {
|
2015-11-04 10:57:44 -07:00
|
|
|
"room_events": rooms_cat_res
|
2015-10-12 03:49:53 -06:00
|
|
|
}
|
|
|
|
})
|