2021-07-19 11:31:03 +02:00
|
|
|
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
|
|
|
|
From: Phoenix616 <max@themoep.de>
|
|
|
|
Date: Sun, 20 Jun 2021 16:35:42 +0100
|
|
|
|
Subject: [PATCH] Don't apply cramming damage to players
|
|
|
|
|
|
|
|
It does not make a lot of sense to damage players if they get crammed,
|
|
|
|
especially as the usecase of teleporting lots of players to the same
|
|
|
|
location isn't too uncommon and killing all those players isn't
|
|
|
|
really what one would expect to happen.
|
|
|
|
|
|
|
|
For those who really want it a config option is provided.
|
|
|
|
|
|
|
|
diff --git a/src/main/java/net/minecraft/server/level/ServerPlayer.java b/src/main/java/net/minecraft/server/level/ServerPlayer.java
|
2023-09-24 06:43:10 +02:00
|
|
|
index a75377cf94c70011a967e7ede93f903aae4f9f05..b8f60c2deb7e46f654d0169751c793b3b3408748 100644
|
2021-07-19 11:31:03 +02:00
|
|
|
--- a/src/main/java/net/minecraft/server/level/ServerPlayer.java
|
|
|
|
+++ b/src/main/java/net/minecraft/server/level/ServerPlayer.java
|
2023-09-22 14:22:24 +02:00
|
|
|
@@ -95,6 +95,7 @@ import net.minecraft.util.Mth;
|
2023-03-14 21:25:13 +01:00
|
|
|
import net.minecraft.util.RandomSource;
|
|
|
|
import net.minecraft.util.Unit;
|
|
|
|
import net.minecraft.world.damagesource.DamageSource;
|
|
|
|
+import net.minecraft.world.damagesource.DamageSources;
|
|
|
|
import net.minecraft.world.effect.MobEffectInstance;
|
|
|
|
import net.minecraft.world.effect.MobEffects;
|
|
|
|
import net.minecraft.world.entity.Entity;
|
2023-09-24 06:43:10 +02:00
|
|
|
@@ -1473,7 +1474,7 @@ public class ServerPlayer extends Player {
|
2021-07-19 11:31:03 +02:00
|
|
|
|
|
|
|
@Override
|
|
|
|
public boolean isInvulnerableTo(DamageSource damageSource) {
|
2023-03-14 21:25:13 +01:00
|
|
|
- return super.isInvulnerableTo(damageSource) || this.isChangingDimension();
|
2023-06-08 21:00:58 +02:00
|
|
|
+ return super.isInvulnerableTo(damageSource) || this.isChangingDimension() || !this.level().paperConfig().collisions.allowPlayerCrammingDamage && damageSource == damageSources().cramming(); // Paper - disable player cramming
|
2021-07-19 11:31:03 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|