A more precise display of time player for info command

twohoursonelife · Aug 5, 2023 · 2b1828b · 2b1828b · connorhsm · Aug 5, 2023
1 parent 5578b49
commit 2b1828b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/dictator/cogs/informational.py b/dictator/cogs/informational.py
@@ -4,6 +4,7 @@
 
 from db_manager import db_connection as db_conn
 import datetime
+import math
 
 
 class Informational(commands.Cog):
@@ -71,7 +72,7 @@ async def info(self, interaction: discord.Interaction, user: discord.User) -> No
             title=f"Results for the user '{user.name}':", colour=0xFFBB35
         )
         embed.add_field(
-            name="Time played:", value=f"{round(user_info[0] / 60, 1)} hours"
+            name="Time played:", value=f"{math.floor(user_info[0]/60)}h {user_info[0]%60}m"
         )
         embed.add_field(name="Blocked:", value="Yes" if user_info[1] else "No")
         embed.add_field(

diff --git a/dictator/cogs/roles.py b/dictator/cogs/roles.py
@@ -120,7 +120,7 @@ async def assign_role(self, interaction: discord.Interaction, role, reason) -> N
         role_object = discord.utils.get(interaction.guild.roles, name=role)
         await interaction.user.add_roles(role_object, reason=reason)
 
-    def playtime_less_than(self, discord_id, less_than_minutes) -> bool:
+    def playtime_less_than(self, discord_id: discord.User.id, less_than_minutes: int) -> bool:
         with db_conn() as db:
             db.execute(
                 f"SELECT time_played FROM ticketServer_tickets WHERE discord_id = {discord_id}"