anchor.diff:  
       NDC.push( wiki.getApplicationName()+":"+pagereq );
       
  -    response.setContentType("text/html; charset="+wiki.getContentEncoding() );
  -
       String userName = wiki.getUserName( request );
       if( userName == null ) 
       {
  
positive.code: 
      if( ok != null || "save".equals(request.getParameter("action")) )
      {
          UserProfile profile = new UserProfile();
          profile.setName( request.getParameter("username") );
  
          Cookie prefs = new Cookie( WikiEngine.PREFS_COOKIE_NAME, 
                                     profile.getStringRepresentation() );
  
negative.code: 
          response.sendRedirect( wiki.getBaseURL()+"Wiki.jsp" );
      }
  
      response.setContentType("text/html; charset="+wiki.getContentEncoding() );
  
  %>
  
  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
  