Verbesserungen an den DABs, manchmal wird keine Karte gespielt

src/ki/Sauspiel.java

@@ -11,7 +11,7 @@ public Sauspiel(int ID) {
 		super(ID);
 	}
 
-	public void farbeSetzen(Karte.farbe farbe) {
+	public void setzeFarbe(Karte.farbe farbe) {
 		this.farbe = farbe;
 		regeln = new regeln.Sauspiel(farbe);
 	}

src/server/Bot.java

@@ -10,24 +10,30 @@
 public class Bot implements Spieler {
 
 	private int ID;
+	private String name;
 	private Model model;
 	private int kontostand;
 	//wird nur benutzt, wenn eine Hochzeit durchgeführt wird
 	private Karte karte;
 
 	private int spielt;
 	private int mitspieler;
+	private boolean modelupdate;
 
 	private KI ki;
 	private Spielauswahl spielauswahl;
 	private Server server;
 
-	public Bot(Server server) {
+	public Bot(Server server, int botnr) {
+		name = "[BOT]-" + botnr;
+
 		spielauswahl = new Spielauswahl();
 		this.server = server;
 
 		spielt = -1;
 		mitspieler = -1;
+
+		modelupdate = false;
 	}
 
 	public boolean erste3(Model model) {
@@ -36,14 +42,14 @@ public boolean erste3(Model model) {
 	} 
 
 	public synchronized void spielen(Model model) {
-		setzeModel(model);
-		model = ki.spiel(model);
+		setzeModel(ki.spiel(model));
 		try {
 			//Warten, damit das Spiel ein wenig verzögerti wird
-			Thread.sleep(1000);
+			Thread.sleep(2000);
 		} catch (InterruptedException e) {
 			e.printStackTrace();
 		}
+		modelupdate = true;
 	}
 
 	public synchronized modus spielstDu(Model model, modus m) {
@@ -70,7 +76,7 @@ public String gibIP() {
 	}
 
 	public String gibName() {
-		return "[BOT]";
+		return name;
 	}
 
 	public synchronized void setzeID(int ID) {
@@ -83,6 +89,15 @@ public synchronized void setzeID(int ID) {
 	}
 
 	public synchronized Model gibModel() {
+		while(!modelupdate) {
+			try {
+				//Warten auf das aktualisierte Model
+				Thread.sleep(100);
+			} catch (InterruptedException e) {
+				e.printStackTrace();
+			}
+		}
+		modelupdate = false;
 		return model;
 	}
 

src/server/Server.java

@@ -145,8 +145,10 @@ private void starten() throws Exception {
     			nocheins = false;
     			//Mit Bots auffüllen
     			for(int i = 4; i > spielerzahl; i--) {
-    				spieler.add(new Bot(this));
+    				spieler.add(new Bot(this, 4 - i));
     			}
+    			ViewTextSetzen();
+
     			neuesSpiel();
     		} 
         }
@@ -714,11 +716,12 @@ public String gibIP() {
         @SuppressWarnings("deprecation")
 		public synchronized void beenden() {
         	try {
+        		ArrayList<Spieler> s = (ArrayList<Spieler>) spieler.clone();
         		beenden = true;
 				server.close();
 				//Spieler werden entfernt
-				for(int i = 0; i < spieler.size(); i++) {
-					spieler.get(i).abmelden();
+				for(int i = 0; i < s.size(); i++) {
+					s.get(i).abmelden();
 				}
 
 				this.suspend();