/*
** j###t ########## #### ####
** j###t ########## #### ####
** j###T "###L J###"
** ######P' ########## #########
** ######k, ########## T######T
** ####~###L ####
** #### q###L ########## .#####
** #### \###L ########## #####"
**
** $Id$
**
** Class History
**
** Date Name Description
** ---------|------------|-----------------------------------------------
** 24Aug98 subtle start of recorded history
**
*/
package key.commands;
import key.*;
import java.io.IOException;
import java.util.StringTokenizer;
public class Term extends Command
{
public Term()
{
setKey( "term" );
usage = "[<terminal-type> | reset ]";
}
public void run( Player p, StringTokenizer args, String fullLine, CategoryCommand caller, InteractiveConnection ic, Flags flags ) throws IOException
{
if( args.hasMoreTokens() )
{
String ttype = args.nextToken();
if( ttype.equalsIgnoreCase( "reset" ) )
{
p.resetTerminal();
ic.sendFeedback( "Terminal reset to '" + p.getTerminal().getName() + "'" );
}
else
{
if( p.setTerminal( ttype ) )
ic.sendFeedback( "Terminal forced to '" + p.getTerminal().getName() + "'" );
else
ic.sendError( "Unknown terminal type '" + ttype + "'" );
}
}
else
{
ic.sendFeedback( "Your terminal is currently set to '" + p.getTerminal().getName() + "'" );
}
}
}