Add proper handling for lost server connections

git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@581 72836036-5685-4462-b002-a69064685172

1 files changed, 12 insertions, 0 deletions

diff --git a/src/jrummikub/view/impl/StartTurnPanel.java b/src/jrummikub/view/impl/StartTurnPanel.java
index d3f139d..4f1a8e4 100644
--- a/src/jrummikub/view/impl/StartTurnPanel.java
+++ b/src/jrummikub/view/impl/StartTurnPanel.java
@@ -33,6 +33,7 @@ class StartTurnPanel extends JPanel {
 

 	private Event startTurnEvent = new Event();

 	private Event acknowledgeInvalidEvent = new Event();

+	private Event acknowledgeConnectionLostEvent = new Event();

 

 	private Event buttonEvent = startTurnEvent;

 	private BottomPanelType type;

@@ -97,6 +98,10 @@ class StartTurnPanel extends JPanel {
 		return acknowledgeInvalidEvent;

 	}

 

+	IEvent getAcknowledgeConnectionLostEvent() {

+		return acknowledgeConnectionLostEvent;

+	}

+

 	private void rescale() {

 		Insets insets = getInsets();

 		int x = insets.left, y = insets.top, width = getWidth() - insets.left

@@ -184,6 +189,13 @@ class StartTurnPanel extends JPanel {
 				startTurnButton.setText("N\u00E4chster Spieler");

 				buttonEvent = acknowledgeInvalidEvent;

 				break;

+

+			case NETWORK_SERVER_CONNECTION_LOST_PANEL:

+				startTurnLabel.setIcon(null);

+				startTurnLabel.setText("Die Verbindung zum Server wurde getrennt.");

+				startTurnButton.setText("OK");

+				buttonEvent = acknowledgeConnectionLostEvent;

+				break;

 		}

 

 		rescale();