/******************** GetInitArgs.java ******************/
import java.io.*;
import java.util.*;
import javax.servlet.*;
public class GetInitArgs extends GenericServlet
  {
  public void service(ServletRequest req,
                      ServletResponse res)
  throws ServletException, IOException
    {
    res.setContentType("text/plain");
    PrintWriter out = res.getWriter();
    out.println("initArgs:");
    Enumeration e = getInitParameterNames();
    while (e.hasMoreElements())
      {
      String name = (String) e.nextElement();
      out.println(name + ": " + getInitParameter(name));
      }
    }
  }