game-end-stuff #29

Merged
lgc merged 3 commits from game-end-stuff into main 2024-12-23 22:13:58 +00:00
4 changed files with 7 additions and 2 deletions

View File

@ -29,6 +29,9 @@ test-jar: jar
# $(JR) -cp "$(OUT_DIR)/:$(LIB_DIR)/*" $(MAIN_CLASS) # $(JR) -cp "$(OUT_DIR)/:$(LIB_DIR)/*" $(MAIN_CLASS)
$(JR) -jar $(OUT_DIR)/$(JAR_NAME) $(JR) -jar $(OUT_DIR)/$(JAR_NAME)
docs:
javadoc -cp "$(LIB_DIR)/*" -d "docs" $(SRC_DIR)/*.java
test: classfiles test: classfiles
$(JR) -cp "$(OUT_DIR)$(SEPERATOR)$(LIB_DIR)/*" $(MAIN_CLASS) $(JR) -cp "$(OUT_DIR)$(SEPERATOR)$(LIB_DIR)/*" $(MAIN_CLASS)

View File

@ -155,6 +155,7 @@ public abstract class AiPlayer extends LocalPlayer implements Runnable {
while(i.hasNext()) { while(i.hasNext()) {
Thread thread = i.next(); Thread thread = i.next();
try { try {
thread.interrupt();
thread.join(); thread.join();
i.remove(); i.remove();
} catch (InterruptedException e) { } catch (InterruptedException e) {

View File

@ -174,6 +174,7 @@ public class BoardDisplay extends JPanel {
if(currentShip != null) { if(currentShip != null) {
test = currentShip.getVirtualOccupiedPoints(mousePosition, horizontal); test = currentShip.getVirtualOccupiedPoints(mousePosition, horizontal);
} }
if (player == null || player.getBoard() == null) return;
for(int i = 0; i < gridSize; i++) { for(int i = 0; i < gridSize; i++) {
for(int j = 0; j < gridSize; j++) { for(int j = 0; j < gridSize; j++) {
if(fields[i][j] == null) { if(fields[i][j] == null) {

View File

@ -129,7 +129,7 @@ public class MainFrame extends JFrame {
* @author Lucas Bronson, Peer Ole Wachtel, Luca Conte * @author Lucas Bronson, Peer Ole Wachtel, Luca Conte
*/ */
public void showPanelWin(String panelName, Player player){ public void showPanelWin(String panelName, Player player){
if(player != gameBoard.getP1()){ if(gameBoard == null || player != gameBoard.getP1()){
return; return;
} }
@ -152,7 +152,7 @@ public class MainFrame extends JFrame {
* @author Lucas Bronson, Peer Ole Wachtel, Luca Conte * @author Lucas Bronson, Peer Ole Wachtel, Luca Conte
*/ */
public void showPanelLose(String panelName, Player player){ public void showPanelLose(String panelName, Player player){
if(player != gameBoard.getP1()){ if(gameBoard == null || player != gameBoard.getP1()){
return; return;
} }