* the session information. The username is taken from user.name, language
* is taken from user.language, and text window size from 'stty size'.
*/
* the session information. The username is taken from user.name, language
* is taken from user.language, and text window size from 'stty size'.
*/
// ------------------------------------------------------------------------
// Variables --------------------------------------------------------------
// ------------------------------------------------------------------------
// Variables --------------------------------------------------------------