import javax.servlet.*; import javax.servlet.http.*; import java.io.*;
import java.sql.*; import java.text.*;

public class VrlVrz extends HttpServlet {

  public void doGet (HttpServletRequest request,HttpServletResponse response)
                     throws ServletException, IOException {
    Connection con = null;
    Statement stmt = null;
    ResultSet rs   = null;
    response.setContentType("Text/html");
    PrintWriter out = response.getWriter();
    try {
      Class.forName("com.microsoft.jdbc.sqlserver.SQLServerDriver");
      con = DriverManager.getConnection(
      "jdbc:microsoft:sqlserver://arnold.informatik.uni-osnabrueck.de:1433",
                                        "erika","mustermann");
      stmt = con.createStatement();
      String query = "select v.vorlnr, v.titel, v.sws " +
                     "from vorlesungen v, professoren p " +
                     "where v.gelesenvon = p.persnr and p.name ='" +
                      request.getParameter("professor_name") + "'";
      rs = stmt.executeQuery(query);
      out.println("<HTML>");
      out.println("<HEAD><TITLE>Java Servlet</TITLE></HEAD>");
      out.println("<BODY>");
      out.println("<H1>Vorlesungen von Prof. " +
                  request.getParameter("professor_name") +": </H1>");
      out.println("<UL>");
      while (rs.next()) 
        out.println("<LI>" + 
          rs.getInt("VorlNr") + ": " + rs.getString("Titel") + " (mit " +
          rs.getInt("SWS") + " SWS)" + "</LI>");
      out.println("</UL>"); 
      out.println("<BODY></HTML>");
    }
    catch(ClassNotFoundException e) {
      out.println("Datenbanktreiber nicht gefunden: " + e.getMessage());
    }
    catch(SQLException e) {
      out.println("SQLException: " + e.getMessage());
    }
    finally {
      try { if (con != null ) con.close();
      } catch (SQLException ignorieren) {}
    }
  }
}