added missed climutable

fsharplang-ru · Sep 28, 2023 · aa63cea · aa63cea
1 parent b5ae0c4
commit aa63cea
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/src/VahterBanBot/Program.fs b/src/VahterBanBot/Program.fs
@@ -83,14 +83,16 @@ let server = app.RunAsync()
 let telegramClient = app.Services.GetRequiredService<ITelegramBotClient>()
 
 let startLogMsg =
+    let prependUsername (s: string) =
+        if s.StartsWith("@") then s else "@" + s
     let sb = System.Text.StringBuilder()
     %sb.AppendLine("Bot started with following configuration")
     %sb.AppendLine("AllowedUsers:")
     for KeyValue(username, userId) in botConf.AllowedUsers do
-        %sb.AppendLine($"  {username} ({userId})")
+        %sb.AppendLine($"  {prependUsername username} ({userId})")
     %sb.AppendLine("ChatsToMonitor:")
     for KeyValue(username, chatId) in botConf.ChatsToMonitor do
-        %sb.AppendLine($"  {username} ({chatId})")
+        %sb.AppendLine($"  {prependUsername username} ({chatId})")
     sb.ToString()
 
 app.Logger.LogInformation startLogMsg

diff --git a/src/VahterBanBot/Types.fs b/src/VahterBanBot/Types.fs
@@ -45,6 +45,7 @@ type DbUser =
 module DbUser =
     let banUser vahter reason (user: DbUser) = user.Ban(vahter, ?reason = reason)
 
+[<CLIMutable>]
 type DbMessage =
     { Chat_Id: int64
       Message_Id: int