# HG changeset patch
# User Carl Byington <carl@five-ten-sg.com>
# Date 1405740920 25200
# Node ID 9c202256d102596134ec1f51e52a56d1f9c9d43c
# Parent  9ae4ed7bb5237bab85037bab4239ff54c2a9c331
start conversion from trilead to ganymed

diff -r 9ae4ed7bb523 -r 9c202256d102 src/ch/ethz/ssh2/Session.java
--- a/src/ch/ethz/ssh2/Session.java	Fri Jul 18 20:34:21 2014 -0700
+++ b/src/ch/ethz/ssh2/Session.java	Fri Jul 18 20:35:20 2014 -0700
@@ -142,7 +142,7 @@
    	 * @throws IOException
    	 */
     public void resizePTY(int term_width_characters, int term_height_characters, int term_width_pixels, int term_height_pixels) throws IOException {
-        requestWindowChange(term_width_characters, term_height_characters, term_width_pixels, term_height_pixels)
+        requestWindowChange(term_width_characters, term_height_characters, term_width_pixels, term_height_pixels);
     }
 
    	public void requestWindowChange(int term_width_characters, int term_height_characters, int term_width_pixels,