anchor.diff:      String pageurl = wiki.encodeName( pagereq );
   
       String action = request.getParameter("action");
  +    String ok = request.getParameter("ok");
  +    String preview = request.getParameter("preview");
   
       //
       //  Set the response type before we branch.
  
positive.code: 
          response.sendRedirect(wiki.getBaseURL()+"Wiki.jsp?page="+pageurl);
          return;
      }
  
      log.info("Editing page "+pagereq+". User="+request.getRemoteUser()+", host="+request.getRemoteHost() );
  
negative.code: 
      log.debug("Request character encoding="+request.getCharacterEncoding());
      log.debug("Request content type+"+request.getContentType());
      log.debug("preview="+preview+", ok="+ok);
  
      if( ok != null )
      {
          log.info("Saving page "+pagereq+". User="+request.getRemoteUser()+", host="+request.getRemoteHost() );
  
  