/** @see HttpServlet#doGet(HttpServletRequest request, HttpServletResponse response) */
 protected void doGet(HttpServletRequest request, HttpServletResponse response)
     throws ServletException, IOException {
   response.setContentType("text/html");
   PrintWriter out = response.getWriter();
   String name = request.getParameter("name");
   String code = request.getParameter("code");
   String desc = request.getParameter("desc");
   String domain = request.getParameter("domain");
   String visible = request.getParameter("visible");
   String usr = request.getParameter("usr");
   int cid = Integer.parseInt(request.getParameter("course_id"));
   ConfigManager cm = new ConfigManager(this);
   AggregateDB agg_db = new AggregateDB(cm.agg_dbstring, cm.agg_dbuser, cm.agg_dbpass);
   agg_db.openConnection();
   boolean outcome = agg_db.editCourse(cid, name, code, desc, domain, visible, usr);
   String output = "{outcome: \"" + outcome + "\", course: " + getJSON(agg_db, cid, usr) + "}";
   agg_db.closeConnection();
   out.print(output);
 }