Merge branch 'master' into 1.17

This commit is contained in:
gnembon committed 2021-02-10 23:37:42 -04:00
commit cc697d159a
3 files changed
+11 -3

No files matched your search

@@ -205,7 +205,15 @@ public class CarpetEventServer
if (callList.size() > 0)
{
List<Value> argv = argumentSupplier.get(); // empty for onTickDone
ServerCommandSource source = cmdSourceSupplier.get();
ServerCommandSource source;
try
{
source = cmdSourceSupplier.get();
}
catch (NullPointerException noReference) // todo figure out what happens when closing.
{
return;
}
String nameCheck = perPlayerDistribution?source.getName():null;
assert argv.size() == reqArgs;
List<Callback> fails = new ArrayList<>();