Make play IDs shorter

This commit is contained in:
Tulir Asokan
2018-12-23 17:31:46 +02:00
parent 2e20ae2148
commit 06f1bcfb3f
2 changed files with 32 additions and 18 deletions
+14 -12
View File
@@ -15,6 +15,7 @@
# You should have received a copy of the GNU Affero General Public License # You should have received a copy of the GNU Affero General Public License
# along with this program. If not, see <https://www.gnu.org/licenses/>. # along with this program. If not, see <https://www.gnu.org/licenses/>.
from typing import Dict, List, Optional, Tuple from typing import Dict, List, Optional, Tuple
import codecs
import base64 import base64
import re import re
@@ -164,6 +165,9 @@ async def sync(evt: CommandEvent) -> Optional[Dict]:
return await evt.reply("Synchronization complete.") return await evt.reply("Synchronization complete.")
PEER_TYPE_CHAT = b"g"
@command_handler(help_section=SECTION_MISC, @command_handler(help_section=SECTION_MISC,
help_args="<play ID>", help_args="<play ID>",
help_text="Play a Telegram game") help_text="Play a Telegram game")
@@ -176,21 +180,19 @@ async def play(evt: CommandEvent) -> Optional[Dict]:
return await evt.reply("Bots can't play games :(") return await evt.reply("Bots can't play games :(")
try: try:
play_id = evt.args[0]
play_id += (4 - len(play_id) % 4) * "="
play_id = base64.b64decode(play_id)
peer_type, play_id = bytes([play_id[0]]), play_id[1:]
tgid = TelegramID(int(codecs.encode(play_id[0:5], "hex_codec"), 16))
msg_id = TelegramID(int(codecs.encode(play_id[5:10], "hex_codec"), 16))
space = None space = None
peer_type, play_id = base64.b64decode(evt.args[0]).decode("utf-8").split("-", 1) if peer_type == PEER_TYPE_CHAT:
if peer_type == "chan" or peer_type == "user": space = TelegramID(int(codecs.encode(play_id[10:15], "hex_codec"), 16))
tgid, msg_id = play_id.split("-")
elif peer_type == "chat":
tgid, space, msg_id = play_id.split("-")
space = TelegramID(int(space))
else:
raise ValueError()
tgid = TelegramID(int(tgid))
msg_id = TelegramID(int(msg_id))
except ValueError: except ValueError:
return await evt.reply("Invalid play ID (format)") return await evt.reply("Invalid play ID (format)")
if peer_type == "chat": if peer_type == PEER_TYPE_CHAT:
orig_msg = DBMessage.get_by_tgid(msg_id, space) orig_msg = DBMessage.get_by_tgid(msg_id, space)
if not orig_msg: if not orig_msg:
return await evt.reply("Invalid play ID (original message not found in db)") return await evt.reply("Invalid play ID (original message not found in db)")
@@ -200,7 +202,7 @@ async def play(evt: CommandEvent) -> Optional[Dict]:
msg_id = new_msg.tgid msg_id = new_msg.tgid
try: try:
peer = await evt.sender.client.get_input_entity(tgid) peer = await evt.sender.client.get_input_entity(tgid)
except ValueError as e: except ValueError:
return await evt.reply("Invalid play ID (chat not found)") return await evt.reply("Invalid play ID (chat not found)")
msg = await evt.sender.client.get_messages(entity=peer, ids=msg_id) msg = await evt.sender.client.get_messages(entity=peer, ids=msg_id)
+18 -6
View File
@@ -22,6 +22,7 @@ from html import escape as escape_html
import asyncio import asyncio
import random import random
import mimetypes import mimetypes
import codecs
import unicodedata import unicodedata
import base64 import base64
import hashlib import hashlib
@@ -1430,21 +1431,32 @@ class Portal:
"net.maunium.telegram.unsupported": True, "net.maunium.telegram.unsupported": True,
}, timestamp=evt.date, external_url=self.get_external_url(evt)) }, timestamp=evt.date, external_url=self.get_external_url(evt))
@staticmethod
def _int_to_bytes(i: int) -> bytes:
hex = "{0:010x}".format(i)
return codecs.decode(hex, "hex_codec")
async def handle_telegram_game(self, source: 'AbstractUser', intent: IntentAPI, async def handle_telegram_game(self, source: 'AbstractUser', intent: IntentAPI,
evt: Message, relates_to: dict = None): evt: Message, relates_to: dict = None):
game = evt.media.game game = evt.media.game
if self.peer_type == "channel": if self.peer_type == "channel":
play_id = base64.b64encode(f"chan-{self.tgid}-{evt.id}".encode("utf-8")) play_id = base64.b64encode(b"c"
+ self._int_to_bytes(self.tgid)
+ self._int_to_bytes(evt.id))
elif self.peer_type == "chat": elif self.peer_type == "chat":
play_id = base64.b64encode(f"chat-{self.tgid}-{source.tgid}-{evt.id}".encode("utf-8")) play_id = base64.b64encode(b"g"
+ self._int_to_bytes(self.tgid)
+ self._int_to_bytes(evt.id)
+ self._int_to_bytes(source.tgid))
elif self.peer_type == "user": elif self.peer_type == "user":
play_id = base64.b64encode(f"user-{self.tgid}-{evt.id}".encode("utf-8")) play_id = base64.b64encode(b"u"
+ self._int_to_bytes(self.tgid)
+ self._int_to_bytes(evt.id))
else: else:
raise ValueError("Portal has invalid peer type") raise ValueError("Portal has invalid peer type")
play_id = play_id.decode("utf-8") play_id = play_id.decode("utf-8").rstrip("=")
command = f"!tg play {play_id}" command = f"!tg play {play_id}"
override_text = (f"Run {command} in your bridge management room to " override_text = f"Run {command} in your bridge management room to play {game.title}"
f"play {game.title}:\n\n{game.description}")
override_entities = [MessageEntityCode(offset=len("Run "), length=len(command))] override_entities = [MessageEntityCode(offset=len("Run "), length=len(command))]
text, html, relates_to = await formatter.telegram_to_matrix( text, html, relates_to = await formatter.telegram_to_matrix(
evt, source, self.main_intent, evt, source, self.main_intent,