/* ** 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() + "'" ); } } }