anchor.diff:      }
   
       log.info("Editing page "+pagereq);
  +
  +    //
  +    //  If the page does not exist, we'll get a null here.
  +    //
  +    long lastchange = 0;
  +    Date d = wiki.pageLastChanged( pagereq );
  +    if( d != null ) lastchange = d.getTime();
  +    
   %>
   
   <HTML>
  
positive.code:         //  is the best place to show errors, though.
         
          long pagedate   = Long.parseLong(request.getParameter("edittime"));
          Date lastchange = wiki.pageLastChanged( pagereq );
  
          log.debug("Page date="+pagedate+", last changed "+lastchange.getTime());
  
          if( lastchange.getTime() != pagedate )
          {
              //
              // Someone changed the page while we were editing it!
  
negative.code: 
        <INPUT type="hidden" name="page" value="<%=pagereq%>">
        <INPUT type="hidden" name="action" value="save">
        <INPUT type="hidden" name="edittime" value="<%=lastchange%>">
  
        <TEXTAREA name="text" rows="25" cols="80"><%=wiki.getText(pagereq)%></TEXTAREA>
  
  