01: /*
02: * @(#)Handler.java 1.2 04/12/06
03: *
04: * Copyright (c) 2003,2004 Sun Microsystems, Inc. All Rights Reserved.
05: *
06: * See the file "LICENSE.txt" for information on usage and redistribution
07: * of this file, and for a DISCLAIMER OF ALL WARRANTIES.
08: */
09: package org.pnuts.servlet.protocol.pea;
10:
11: import java.io.*;
12: import java.net.*;
13: import java.util.*;
14: import pnuts.lang.Context;
15:
16: public class Handler extends URLStreamHandler {
17: private Context context;
18: private Set scriptURLs;
19:
20: public Handler(Context context, Set scriptURLs) {
21: this .context = context;
22: this .scriptURLs = scriptURLs;
23: }
24:
25: protected URLConnection openConnection(URL url) throws IOException {
26: return new DynamicPageURLConnection(url, context, scriptURLs);
27: }
28: }
|