/* ** 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.util.StringTokenizer; import java.io.IOException; public class Sync extends Command { public Sync() { setKey( "sync" ); usage = ""; } public void run( Player p, StringTokenizer args, String fullLine, CategoryCommand caller, InteractiveConnection ic, Flags flags ) throws IOException { Atom a = null; String id = null; if( args.hasMoreTokens() ) { a = getSymbolInside( ic, args.nextToken(), p.getContext() ); if( a == null ) return; id = a.getId(); } else { a = Key.instance(); id = "/"; } a.sync(); ic.sendFeedback( "Sync of " + id + " completed." ); } }