arnekeller/wynnrobot
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix player name formatting

Browse Source
This commit is contained in:
Sakuhl 2018-01-13 00:00:13 +01:00
parent b9fcad2442
commit c4ecfdd67b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main.rs
View File

@ -374,7 +374,7 @@ fn war_livefeed() {
.load::<WarfeedListener>(&connection) .load::<WarfeedListener>(&connection)
.expect("Error loading listeners") { .expect("Error loading listeners") {
let _ = ChannelId(listener.id as u64).say(format!("{} ({}): ~~{}~~ -> **{}**", let _ = ChannelId(listener.id as u64).say(format!("{} ({}): ~~{}~~ -> **{}**",
player, player.replace('_', "\\_"),
guild, guild,
old_server, old_server,
key key