spigot/CraftBukkit-Patches/0053-Safer-JSON-Loading.patch

45 lines
2.1 KiB
Diff
Raw Normal View History

2025-06-18 01:15:00 +10:00
From c6271bee2f0afce59189b3f314aab4430f6690d1 Mon Sep 17 00:00:00 2001
2014-07-08 09:44:30 +10:00
From: Suddenly <suddenly@suddenly.coffee>
Date: Tue, 8 Jul 2014 09:44:18 +1000
Subject: [PATCH] Safer JSON Loading
2021-03-16 09:00:00 +11:00
diff --git a/src/main/java/net/minecraft/server/players/JsonList.java b/src/main/java/net/minecraft/server/players/JsonList.java
2025-03-26 03:05:00 +11:00
index f91786831..6a59ecafb 100644
2021-03-16 09:00:00 +11:00
--- a/src/main/java/net/minecraft/server/players/JsonList.java
+++ b/src/main/java/net/minecraft/server/players/JsonList.java
2025-03-26 03:05:00 +11:00
@@ -145,6 +145,14 @@ public abstract class JsonList<K, V extends JsonListEntry<K>> {
this.map.put(this.getKeyForUser(jsonlistentry.getUser()), (V) jsonlistentry); // CraftBukkit - decompile error
2018-07-15 10:00:00 +10:00
}
2025-03-26 03:05:00 +11:00
}
+ // Spigot Start
+ } catch ( com.google.gson.JsonParseException | NullPointerException ex )
+ {
+ org.bukkit.Bukkit.getLogger().log( java.util.logging.Level.WARNING, "Unable to read file " + this.file + ", backing it up to {0}.backup and creating new copy.", ex );
+ File backup = new File( this.file + ".backup" );
+ this.file.renameTo( backup );
+ this.file.delete();
2023-09-22 02:40:00 +10:00
+ // Spigot End
2025-03-26 03:05:00 +11:00
}
}
2021-03-16 09:00:00 +11:00
diff --git a/src/main/java/net/minecraft/server/players/UserCache.java b/src/main/java/net/minecraft/server/players/UserCache.java
2025-03-26 03:05:00 +11:00
index 9947d1a02..29e245d14 100644
2021-03-16 09:00:00 +11:00
--- a/src/main/java/net/minecraft/server/players/UserCache.java
+++ b/src/main/java/net/minecraft/server/players/UserCache.java
2025-03-26 03:05:00 +11:00
@@ -205,6 +205,11 @@ public class UserCache {
});
2015-05-09 21:23:26 +01:00
} catch (FileNotFoundException filenotfoundexception) {
;
+ // Spigot Start
2021-01-22 16:51:21 +11:00
+ } catch (com.google.gson.JsonSyntaxException | NullPointerException ex) {
2022-03-01 02:00:00 +11:00
+ UserCache.LOGGER.warn( "Usercache.json is corrupted or has bad formatting. Deleting it to prevent further issues." );
2021-06-11 15:00:00 +10:00
+ this.file.delete();
2015-05-09 21:23:26 +01:00
+ // Spigot End
2020-08-12 07:00:00 +10:00
} catch (JsonParseException | IOException ioexception) {
2021-06-11 15:00:00 +10:00
UserCache.LOGGER.warn("Failed to load profile cache {}", this.file, ioexception);
2020-08-12 07:00:00 +10:00
}
2014-07-08 09:44:30 +10:00
--
2025-03-26 03:05:00 +11:00
2.49.0
2014-07-08 09:44:30 +10:00