Handle the server leaving a public room

This commit is contained in:
Erik Johnston 2017-05-31 15:11:36 +01:00
parent 63fda37e20
commit 350622a107
4 changed files with 46 additions and 3 deletions

View file

@ -41,6 +41,7 @@ CREATE TABLE user_directory (
);
CREATE INDEX user_directory_fts_idx ON user_directory USING gin(vector);
CREATE INDEX user_directory_room_idx ON user_directory(room_id);
CREATE INDEX user_directory_user_idx ON user_directory(user_id);
"""
@ -48,6 +49,9 @@ CREATE INDEX user_directory_user_idx ON user_directory(user_id);
SQLITE_TABLE = """
CREATE VIRTUAL TABLE user_directory
USING fts4 ( user_id, room_id, display_name, avatar_url, value );
CREATE INDEX user_directory_room_idx ON user_directory(room_id);
CREATE INDEX user_directory_user_idx ON user_directory(user_id);
"""