KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > com > jcraft > jsch > RequestWindowChange


1 /* -*-mode:java; c-basic-offset:2; indent-tabs-mode:nil -*- */
2 /*
3 Copyright (c) 2002,2003,2004,2005,2006 ymnk, JCraft,Inc. All rights reserved.
4
5 Redistribution and use in source and binary forms, with or without
6 modification, are permitted provided that the following conditions are met:
7
8   1. Redistributions of source code must retain the above copyright notice,
9      this list of conditions and the following disclaimer.
10
11   2. Redistributions in binary form must reproduce the above copyright
12      notice, this list of conditions and the following disclaimer in
13      the documentation and/or other materials provided with the distribution.
14
15   3. The names of the authors may not be used to endorse or promote products
16      derived from this software without specific prior written permission.
17
18 THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED WARRANTIES,
19 INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
20 FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL JCRAFT,
21 INC. OR ANY CONTRIBUTORS TO THIS SOFTWARE BE LIABLE FOR ANY DIRECT, INDIRECT,
22 INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
23 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA,
24 OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
25 LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
26 NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
27 EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 */
29
30 package com.jcraft.jsch;
31
32 class RequestWindowChange extends Request{
33   int width_columns=80;
34   int height_rows=24;
35   int width_pixels=640;
36   int height_pixels=480;
37   void setSize(int col, int row, int wp, int hp){
38     this.width_columns=col;
39     this.height_rows=row;
40     this.width_pixels=wp;
41     this.height_pixels=hp;
42   }
43   public void request(Session session, Channel channel) throws Exception JavaDoc{
44     super.request(session, channel);
45
46     Buffer buf=new Buffer();
47     Packet packet=new Packet(buf);
48
49     //byte SSH_MSG_CHANNEL_REQUEST
50 //uint32 recipient_channel
51 //string "window-change"
52 //boolean FALSE
53 //uint32 terminal width, columns
54 //uint32 terminal height, rows
55 //uint32 terminal width, pixels
56 //uint32 terminal height, pixels
57 packet.reset();
58     buf.putByte((byte) Session.SSH_MSG_CHANNEL_REQUEST);
59     buf.putInt(channel.getRecipient());
60     buf.putString("window-change".getBytes());
61     buf.putByte((byte)(waitForReply() ? 1 : 0));
62     buf.putInt(width_columns);
63     buf.putInt(height_rows);
64     buf.putInt(width_pixels);
65     buf.putInt(height_pixels);
66     write(packet);
67   }
68 }
69
Popular Tags