/** (C) Game Page Network, Inc., Confidential, All Rights Reserved */
// ShutdownCommand.java -- clean shutdown of the server
// --paul@gamepage.net, 12dec97

import java.io.*;
import java.util.*;

public class ShutdownCommand extends Command {
  ShutdownCommand() {
    super("shutdown", -1, null, "Shutdown the server now.");
    coach = true;
  }
  public void process(StringTokenizer args, Client c) {
    String message = args.hasMoreTokens() ?
      args.nextToken("\0") : null;
    Club.shutdown(c,message);	// will call Client.shutdown
  }
}