[sword-cvs] jsword-old/src/SwordMod Verify.java,1.7,1.8
sword@www.crosswire.org
sword@www.crosswire.org
Fri, 16 May 2003 19:39:42 -0700
Update of /usr/local/cvsroot/jsword-old/src/SwordMod
In directory www:/tmp/cvs-serv10727/src/SwordMod
Modified Files:
Verify.java
Log Message:
Index: Verify.java
===================================================================
RCS file: /usr/local/cvsroot/jsword-old/src/SwordMod/Verify.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** Verify.java 11 Oct 2002 06:31:27 -0000 1.7
--- Verify.java 17 May 2003 02:39:40 -0000 1.8
***************
*** 4,12 ****
import org.crosswire.sword.mgr.SWMgr;
! import javax.servlet.*;
! import javax.servlet.http.*;
! import java.io.*;
! import java.util.*;
! import java.util.zip.*;
public class Verify extends HttpServlet {
--- 4,16 ----
import org.crosswire.sword.mgr.SWMgr;
! import javax.servlet.ServletConfig;
! import javax.servlet.ServletException;
! import javax.servlet.http.HttpServlet;
! import java.io.File;
! import java.io.FileOutputStream;
! import java.util.Date;
! import com.objectspace.jgl.HashMap;
! import java.util.zip.ZipEntry;
! import java.util.zip.ZipOutputStream;
public class Verify extends HttpServlet {
***************
*** 77,81 ****
log.close();
}
! response.getOutputStream().println("<HTML><HEAD><META HTTP-EQUIV=\"Refresh\" CONTENT=\"0;URL="+url+"\"></HEAD><BODY><A HREF="+url+">Click here to download if it doesn't start automatically</A></BODY></HTML>");
response.getOutputStream().close();
}
--- 81,98 ----
log.close();
}
! response.getOutputStream().println("<HTML><HEAD><META HTTP-EQUIV=\"Refresh\" CONTENT=\"0;URL="+url+"\"></HEAD><BODY><A HREF="+url+">Click here to download if it doesn't start automatically</A>");
! HashMap section = (HashMap) SWMgr.getInstance(mgrDir).config.sections.get(modName);
! String about = (String) section.get("About");
! String desc = (String) section.get("Description");
! if (about != null) {
! response.getOutputStream().println("<br /><br /> <h2>About: " + desc + "</h2><br />");
!
! about.replaceAll("\\\\pard", "");
! about.replaceAll("\\\\par", "<br />");
! about.replaceAll("\\\\\\w+", "");
! response.getOutputStream().println(about);
! }
!
! response.getOutputStream().println("</BODY></HTML>");
response.getOutputStream().close();
}