First round of bugfixes after the opening of the public beta!

- New words in the dictionary
- Bugs fixed in HTML Checker tag stack which rejected <IMG> and <LI>
  and had a potential infinite loop
- Multipart handling now handles Windows-uploaded filenames correctly
- Bug fixed in PostOperations that was causing nuke to fail and scribble
  and hide to succeed but throw an internal servlet error
- Enhanced conference listing now gives a better activity report in conferences
- Top Content font enlarged
- Null posts now work (they used to in WebbMe)
- Slippage display corrected
- Probably a couple of other things I can't think of just now.

src/com/silverwrist/venice/servlets/Attachment.java

@@ -77,6 +77,8 @@ public class Attachment extends VeniceServlet
       type = msg.getAttachmentType();
       filename = msg.getAttachmentFilename();
       length = msg.getAttachmentLength();
+      if (logger.isInfoEnabled())
+	logger.info("Uploaded file: " + filename + "(type " + type + ", " + length + " bytes)");
       data = msg.getAttachmentData();
 
     } // end try

src/com/silverwrist/venice/servlets/PostMessage.java

@@ -94,16 +94,21 @@ public class PostMessage extends VeniceServlet
     String on_error = "confdisp?sig=" + sig.getSIGID() + "&conf=" + conf.getConfID() + "&top="
                     + topic.getTopicNumber();
 
-    // make sure we've got some post data
-    String raw_postdata = request.getParameter("pb");
-    if (StringUtil.isStringEmpty(raw_postdata))
-      return null;  // don't allow zero-size posts
-
-    final String yes = "Y";
-
     if (isImageButtonClicked(request,"cancel"))
       throw new RedirectResult(on_error);  // canceled posting - take us back
 
+    // make sure we've got some post data
+    String raw_postdata = request.getParameter("pb");
+    /* EJB 4/4/2001 - take this code out, FUTURE: maybe make it a global setting?
+    if (StringUtil.isStringEmpty(raw_postdata))
+      return null;  // don't allow zero-size posts
+    -- end removed code */
+
+    if (raw_postdata==null)
+      raw_postdata = "";
+
+    final String yes = "Y";
+
     if (isImageButtonClicked(request,"preview"))  // generate a preview
       return new PostPreview(engine,sig,conf,topic,request.getParameter("pseud"),raw_postdata,
 			     request.getParameter("next"),getPostNumber(request,on_error),

src/com/silverwrist/venice/servlets/PostOperations.java

@@ -74,7 +74,7 @@ public class PostOperations extends VeniceServlet
 
     // get the topic
     TopicContext topic = getTopicParameter(request,conf,true,location);
-    locator += "&top=" + topic.getTopicID();
+    locator += "&top=" + topic.getTopicNumber();
     location = "confdisp?" + locator;
 
     // get the message

src/com/silverwrist/venice/servlets/format/ConferenceListing.java

@@ -141,6 +141,12 @@ public class ConferenceListing implements JSPRender
 
   } // end getLastUpdateDate
 
+  public boolean anyUnread(int ndx)
+  {
+    return ((ConferenceContext)(conferences.get(ndx))).anyUnread();
+
+  } // end anyUnread
+
   public int getNumHosts(int ndx)
   {
     return hosts[ndx].size();

src/com/silverwrist/venice/servlets/format/RenderData.java

@@ -52,6 +52,8 @@ public class RenderData
   private boolean can_gzip = false;
   private Locale my_locale;
   private TimeZone my_timezone;
+  private DateFormat activity_time = null;
+  private DateFormat display_date = null;
 
   /*--------------------------------------------------------------------------------
    * Constructor
@@ -250,9 +252,14 @@ public class RenderData
 
   public String formatDateForDisplay(Date date)
   {
-    DateFormat fmt = DateFormat.getDateTimeInstance(DateFormat.MEDIUM,DateFormat.MEDIUM,my_locale);
-    fmt.setTimeZone(my_timezone);
-    return fmt.format(date);
+    if (display_date==null)
+    { // create the display date formatter
+      display_date = DateFormat.getDateTimeInstance(DateFormat.MEDIUM,DateFormat.MEDIUM,my_locale);
+      display_date.setTimeZone(my_timezone);
+
+    } // end if
+
+    return display_date.format(date);
 
   } // end formatDateForDisplay
 
@@ -338,10 +345,22 @@ public class RenderData
     switch (delta_days)
     { // now return a string based on the difference in days
       case 0:
-	return "Today";
+	if (activity_time==null)
+	{ // get the "activity" time formatter
+	  activity_time = DateFormat.getTimeInstance(DateFormat.MEDIUM,my_locale);
+	  activity_time.setTimeZone(my_timezone);
+
+	} // end if
+	return "Today, " + activity_time.format(date);
 
       case 1:
-	return "Yesterday";
+	if (activity_time==null)
+	{ // get the "activity" time formatter
+	  activity_time = DateFormat.getTimeInstance(DateFormat.MEDIUM,my_locale);
+	  activity_time.setTimeZone(my_timezone);
+
+	} // end if
+	return "Yesterday, " + activity_time.format(date);
 
       default:
 	return String.valueOf(delta_days) + " days ago";