anchor.diff:              return;
           }
   
  +        //
  +        //  We expire ALL locks at this moment, simply because someone has
  +        //  already broken it.
  +        //
  +        PageLock lock = wiki.getPageManager().getCurrentLock( wikipage );
  +        wiki.getPageManager().unlockPage( lock );
  +        session.removeAttribute( "lock-"+pagereq );
  +
           wiki.saveText( pagereq,
                          wiki.safeGetParameter( request, "text" ),
                          request );
  
positive.code:     String action  = request.getParameter("action");
      String ok      = request.getParameter("ok");
      String preview = request.getParameter("preview");
  
      //
      //  Set the response type before we branch.
      //
  
      response.setContentType("text/html; charset="+wiki.getContentEncoding() );
  
      //log.debug("Request character encoding="+request.getCharacterEncoding());
      //log.debug("Request content type+"+request.getContentType());
  
negative.code:                               Long.toString( lastchange ),
                                PageContext.REQUEST_SCOPE );
  
      PageLock lock = wiki.getPageManager().lockPage( wikipage, 
                                                      wiki.getValidUserName(request) );
  
      session.setAttribute( "lock-"+pagereq, lock );
  
      String contentPage = "templates/"+skin+"/EditTemplate.jsp";
  %>
  
  