X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fsession%2FTTYSessionInfo.java;h=080e949b7ef5d8ff3dab6de3112a85d8c31e62a1;hb=7b5261bc5b641e0769902f014e3b21f61050b02b;hp=2236ac3e0bf904f7f474269fc46babe096f4ea19;hpb=9edb442b712de01d1b7af81d1d57a29c2c6e7871;p=fanfix.git diff --git a/src/jexer/session/TTYSessionInfo.java b/src/jexer/session/TTYSessionInfo.java index 2236ac3..080e949 100644 --- a/src/jexer/session/TTYSessionInfo.java +++ b/src/jexer/session/TTYSessionInfo.java @@ -1,16 +1,11 @@ /** * Jexer - Java Text User Interface * - * Version: $Id$ - * - * Author: Kevin Lamonte, kevin.lamonte@gmail.com - * * License: LGPLv3 or later * - * Copyright: This module is licensed under the GNU Lesser General - * Public License Version 3. Please see the file "COPYING" in this - * directory for more information about the GNU Lesser General Public - * License Version 3. + * This module is licensed under the GNU Lesser General Public License + * Version 3. Please see the file "COPYING" in this directory for more + * information about the GNU Lesser General Public License Version 3. * * Copyright (C) 2015 Kevin Lamonte * @@ -29,6 +24,9 @@ * http://www.gnu.org/licenses/, or write to the Free Software * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA * 02110-1301 USA + * + * @author Kevin Lamonte [kevin.lamonte@gmail.com] + * @version 1 */ package jexer.session; @@ -44,15 +42,15 @@ import java.util.StringTokenizer; * getpwuid(geteuid()).pw_name, language is taken from LANG, and text window * size from ioctl(TIOCGWINSIZ). */ -public class TTYSessionInfo implements SessionInfo { +public final class TTYSessionInfo implements SessionInfo { /** - * User name + * User name. */ private String username = ""; /** - * Language + * Language. */ private String language = ""; @@ -67,44 +65,44 @@ public class TTYSessionInfo implements SessionInfo { private int windowHeight = 24; /** - * Time at which the window size was refreshed + * Time at which the window size was refreshed. */ private Date lastQueryWindowTime; - + /** - * Username getter + * Username getter. * * @return the username */ public String getUsername() { - return this.username; + return this.username; } /** - * Username setter + * Username setter. * * @param username the value */ - public void setUsername(String username) { - this.username = username; + public void setUsername(final String username) { + this.username = username; } /** - * Language getter + * Language getter. * * @return the language */ public String getLanguage() { - return this.language; + return this.language; } /** - * Language setter + * Language setter. * * @param language the value */ - public void setLanguage(String language) { - this.language = language; + public void setLanguage(final String language) { + this.language = language; } /** @@ -112,96 +110,99 @@ public class TTYSessionInfo implements SessionInfo { * windowHeight are set automatically. */ private void sttyWindowSize() { - String [] cmd = { - "/bin/sh", "-c", "stty size < /dev/tty" - }; - try { - Process process = Runtime.getRuntime().exec(cmd); - BufferedReader in = new BufferedReader(new InputStreamReader(process.getInputStream(), "UTF-8")); - String line = in.readLine(); - if ((line != null) && (line.length() > 0)) { - StringTokenizer tokenizer = new StringTokenizer(line); - windowHeight = Integer.parseInt(tokenizer.nextToken()); - windowWidth = Integer.parseInt(tokenizer.nextToken()); - } - while (true) { - BufferedReader err = new BufferedReader(new InputStreamReader(process.getErrorStream(), "UTF-8")); - line = err.readLine(); - if ((line != null) && (line.length() > 0)) { - System.err.println("Error output from stty: " + line); - } - try{ - process.waitFor(); - break; - } catch (InterruptedException e) { - e.printStackTrace(); - } - } - int rc = process.exitValue(); - if (rc != 0) { - System.err.println("stty returned error code: " + rc); - } - } catch (IOException e) { - e.printStackTrace(); - } + String [] cmd = { + "/bin/sh", "-c", "stty size < /dev/tty" + }; + try { + Process process = Runtime.getRuntime().exec(cmd); + BufferedReader in = new BufferedReader( + new InputStreamReader(process.getInputStream(), "UTF-8")); + String line = in.readLine(); + if ((line != null) && (line.length() > 0)) { + StringTokenizer tokenizer = new StringTokenizer(line); + windowHeight = Integer.parseInt(tokenizer.nextToken()); + windowWidth = Integer.parseInt(tokenizer.nextToken()); + } + while (true) { + BufferedReader err = new BufferedReader( + new InputStreamReader(process.getErrorStream(), + "UTF-8")); + line = err.readLine(); + if ((line != null) && (line.length() > 0)) { + System.err.println("Error output from stty: " + line); + } + try { + process.waitFor(); + break; + } catch (InterruptedException e) { + e.printStackTrace(); + } + } + int rc = process.exitValue(); + if (rc != 0) { + System.err.println("stty returned error code: " + rc); + } + } catch (IOException e) { + e.printStackTrace(); + } } - + /** - * Text window width getter + * Text window width getter. * * @return the window width */ public int getWindowWidth() { - if (System.getProperty("os.name").startsWith("Windows")) { - // Always use 80x25 for Windows (same as DOS) - return 80; - } - return windowWidth; + if (System.getProperty("os.name").startsWith("Windows")) { + // Always use 80x25 for Windows (same as DOS) + return 80; + } + return windowWidth; } /** - * Text window height getter + * Text window height getter. * * @return the window height */ public int getWindowHeight() { - if (System.getProperty("os.name").startsWith("Windows")) { - // Always use 80x25 for Windows (same as DOS) - return 25; - } - return windowHeight; + if (System.getProperty("os.name").startsWith("Windows")) { + // Always use 80x25 for Windows (same as DOS) + return 25; + } + return windowHeight; } /** - * Re-query the text window size + * Re-query the text window size. */ public void queryWindowSize() { - if (lastQueryWindowTime == null) { - lastQueryWindowTime = new Date(); - } else { - Date now = new Date(); - if (now.getTime() - lastQueryWindowTime.getTime() < 3000) { - // Don't re-spawn stty, it's been too soon. - return; - } - } - if (System.getProperty("os.name").startsWith("Linux") || - System.getProperty("os.name").startsWith("Mac OS X") || - System.getProperty("os.name").startsWith("SunOS") || - System.getProperty("os.name").startsWith("FreeBSD") - ) { - // Use stty to get the window size - sttyWindowSize(); - } + if (lastQueryWindowTime == null) { + lastQueryWindowTime = new Date(); + } else { + Date now = new Date(); + if (now.getTime() - lastQueryWindowTime.getTime() < 3000) { + // Don't re-spawn stty, it's been too soon. + return; + } + } + if (System.getProperty("os.name").startsWith("Linux") + || System.getProperty("os.name").startsWith("Mac OS X") + || System.getProperty("os.name").startsWith("SunOS") + || System.getProperty("os.name").startsWith("FreeBSD") + ) { + // Use stty to get the window size + sttyWindowSize(); + } } /** - * Public constructor + * Public constructor. */ public TTYSessionInfo() { - // Populate lang and user from the environment - username = System.getProperty("user.name"); - language = System.getProperty("user.language"); - queryWindowSize(); + // Populate lang and user from the environment + username = System.getProperty("user.name"); + language = System.getProperty("user.language"); + queryWindowSize(); } }