Escape Discord Markdown characters

Stuff like underscore in username occasionally trips up Discord's display, causing it to be italic or whatever even though it's not the same in-game.

Author: AmberIsFrozen

build.gradle

@@ -35,7 +35,7 @@ dependencies {
 	include 'com.squareup.okio:okio:1.17.2'
 	include "com.neovisionaries:nv-websocket-client:2.14"
 	include 'com.squareup.okhttp3:okhttp:4.12.0'
-	include "net.sf.trove4j:trove4j:3.1.0"
+	include "net.sf.trove4j:trove4j:3.0.3"
 
 	// Fabric API. This is technically optional, but you probably want it anyway.
 	modImplementation "net.fabricmc.fabric-api:fabric-api:${project.fabric_version}"

src/main/java/com/lx862/dclink/bridges/DiscordBridge.java

@@ -33,7 +33,6 @@
 import java.util.regex.Pattern;
 
 public class DiscordBridge extends ListenerAdapter implements Bridge {
-    private static final Pattern EMBED_PATTERN = Pattern.compile("(<<<.+>>>)");
     private static final Logger LOGGER = LogManager.getLogger("DCLinkDiscord");
     private final MinecraftSource source;
     private final DiscordConfig config;
@@ -79,6 +78,8 @@ public void login() {
     public void disconnect() {
         isReady = false;
         client.shutdown();
+        client.getHttpClient().connectionPool().evictAll();
+        client.getHttpClient().dispatcher().executorService().shutdown();
     }
 
     public void updateStatus(String status) {

src/main/java/com/lx862/dclink/data/MinecraftPlaceholder.java

@@ -87,4 +87,20 @@ private void setTeamPlaceholder(String objName, Team team) {
             addPlaceholder(objName, "displayName", team.getDisplayName().getString());
         }
     }
+
+    @Override
+    public void addPlaceholder(String key, String value) {
+        super.addPlaceholder(key, escapeDiscordChars(value));
+    }
+
+    private static String escapeDiscordChars(String s) {
+        return s == null ? s :
+                s.replace("_", "\\_")
+                        .replace("#", "\\#")
+                        .replace("-", "\\-")
+                        .replace("*", "\\*")
+                        .replace("`", "\\`")
+                        .replace(">", "\\`")
+                        .replace("||", "\\||");
+    }
 }