A bug has been fixed -- the player did not update the framebuffer size
on re-opening sessions.


git-svn-id: svn://svn.code.sf.net/p/tigervnc/code/trunk@2525 3789f03b-4d11-0410-bbf8-ca57d06f2519
diff --git a/java/src/com/tightvnc/rfbplayer/RfbPlayer.java b/java/src/com/tightvnc/rfbplayer/RfbPlayer.java
index 0a7838c..7d64348 100644
--- a/java/src/com/tightvnc/rfbplayer/RfbPlayer.java
+++ b/java/src/com/tightvnc/rfbplayer/RfbPlayer.java
@@ -179,6 +179,7 @@
 	    initialTimeOffset = 0;
 	    autoPlay = false;
 	    rfb.newSession(url);
+	    vc.updateFramebufferSize();
 	  }
 	}
       }