public void setPtySize(int col, int row, int wp, int hp)
{
//if(thread==null) return;
try
{
RequestWindowChange request = new RequestWindowChange();
request.setSize(col, row, wp, hp);
request.request(session, this);
}
catch (Exception e)
{
throw new JSchException("ChannelShell.setPtySize: " + e.ToString());
}
}