/*
 * @(#)Server.java	ver 1.2  6/20/2005
 *
 * Copyright 2005 Weishuai Yang (wyang@cs.binghamton.edu). 
 * All rights reserved.
 * 
 */

package gps.protocol;

/**
 * Server base class, all specific protocol peers inherit from it. 
 *
 *
 * @author  Weishuai Yang
 * @version 1.2,  6/20/2005
 */

public class Server extends Agent {
	/**
	 * dummy constructor
	 *
	 */
	public Server() {}
	/**
	 * constructs a Peer with peer id
	 */
	public Server(int i) {
		super(i);
	}
	/**
	 * gets string description
	 *
	 * @return string description
	 *
	 */
	public String toString(){
		return "Server("+mAgentID+"/"+getNode().getID()+")";
	}
	
}