w3c.model.tools.basicweb.ProxyServer

/* basicweb.ProxyServer.java
 * $Id, $Date eric Exp $
 * (c) COPYRIGHT MIT and INRIA, 1997.
 * Please first read the full copyright statement in file COPYRIGHT.html
 *
 * Full of Sound and Fury...
 */

/*

*/
package w3c.model.tools.basicweb;

import java.io.*;
import java.net.Socket;
import w3c.model.www.pep.PEPAgent;
import w3c.model.www.pep.PEPProxy;
import w3c.model.www.pep.PEPProxyClient;
import w3c.model.www.pep.altlib.ErrorContext;
import w3c.model.www.pep.altlib.HttpErrors;
import w3c.model.www.pep.altlib.HTTPException;
import w3c.model.www.pep.altlib.HttpParserException;

class ProxyServer extends BaseServer

    PEPProxyClient pepClient;
    ProxyServer (int port) throwsIOException{
    	super(port);
	pepClient =  PEPProxyClient();	// for CopyBodyProxy to talk to servers
	System.out.println("<!- proxy server port: " + port + " ->");
	super.serve();
    }

    Request makeRequest (Socket socket, InputStream in, OutputStream out, PEPAgent pepAgent, ErrorContext errorContext) {
	return  ProxyRequest(socket, in, null, pepAgent, errorContext, pepClient);
    }

    void prepPEP () throwsHttpParserException  HTTPException{
	pepAgent =  PEPProxy();	// for talking to clients
    }

    void preServe (Request request) {}

    public static void main (String args[]) throws IOException{
	int proxyPort = 8887;
	for (int i = 0 ; i < args.length ; i++)) {
	    if ( args[i] .equals ("-port") )) {
		try {
		    proxyPort = Integer.parseInt(args[++i]) ;
		} catch (NumberFormatException ex)) {
		     System.out.println ("invalid port number ["+args[i]+"]");
		     System.exit (1) ;
		}
	    }
	}
	 ProxyServer(proxyPort);
    }