01: /* -*-mode:java; c-basic-offset:2; indent-tabs-mode:nil -*- */
02: /*
03: Copyright (c) 2002-2008 ymnk, JCraft,Inc. All rights reserved.
04:
05: Redistribution and use in source and binary forms, with or without
06: modification, are permitted provided that the following conditions are met:
07:
08: 1. Redistributions of source code must retain the above copyright notice,
09: 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:
38: void setSize(int col, int row, int wp, int hp) {
39: this .width_columns = col;
40: this .height_rows = row;
41: this .width_pixels = wp;
42: this .height_pixels = hp;
43: }
44:
45: public void request(Session session, Channel channel)
46: throws Exception {
47: super .request(session, channel);
48:
49: Buffer buf = new Buffer();
50: Packet packet = new Packet(buf);
51:
52: //byte SSH_MSG_CHANNEL_REQUEST
53: //uint32 recipient_channel
54: //string "window-change"
55: //boolean FALSE
56: //uint32 terminal width, columns
57: //uint32 terminal height, rows
58: //uint32 terminal width, pixels
59: //uint32 terminal height, pixels
60: packet.reset();
61: buf.putByte((byte) Session.SSH_MSG_CHANNEL_REQUEST);
62: buf.putInt(channel.getRecipient());
63: buf.putString("window-change".getBytes());
64: buf.putByte((byte) (waitForReply() ? 1 : 0));
65: buf.putInt(width_columns);
66: buf.putInt(height_rows);
67: buf.putInt(width_pixels);
68: buf.putInt(height_pixels);
69: write(packet);
70: }
71: }
|