From: JBM <jbm@codingame.com>
Date: Thu, 21 May 2020 19:58:45 +0000 (+0200)
Subject: CG expects Java agents in public class "Player" even when filename is Boss.java
X-Git-Url: https://troll.desast.re/troll.git/commitdiff_plain/d8386a8848a4ba71b9048c03c2a6010dac937352?hp=2e02ad69d3b3c4e270682b31969f6662f2aaa101

CG expects Java agents in public class "Player" even when filename is Boss.java

This fixes the boss timeouts.
---

diff --git a/PLAN.org b/PLAN.org
index ed0f737..db53c65 100644
--- a/PLAN.org
+++ b/PLAN.org
@@ -6,3 +6,5 @@
 * DONE messages
 * TODO referee cleanup
 * DONE upgrade deps
+* TODO Timings
+* TODO fenceposts
diff --git a/config/Boss.java b/config/Boss.java
index 548c083..e1bcec3 100644
--- a/config/Boss.java
+++ b/config/Boss.java
@@ -1,7 +1,7 @@
 import java.util.Random;
 import java.util.Scanner;
 
-public class Boss {
+class Player {
     private final static String[] messages = {
         "meta⁵ @YannT ∷ (a → b) → f1 (f2 (f3 a)) → f1 (f2 (f3 b))",
         "By the power of Grayskull!",