diff src/fschmidt/util/servlet/RedirectServlet.java @ 68:00520880ad02

add fschmidt source
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 05 Oct 2025 17:24:15 -0600
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/fschmidt/util/servlet/RedirectServlet.java	Sun Oct 05 17:24:15 2025 -0600
@@ -0,0 +1,56 @@
+/*
+Copyright (c) 2008  Franklin Schmidt <fschmidt@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+*/
+
+package fschmidt.util.servlet;
+
+import java.io.*;
+import java.util.regex.*;
+import javax.servlet.*;
+import javax.servlet.http.*;
+import fschmidt.util.servlet.*;
+
+
+public final class RedirectServlet extends HttpServlet {
+	private Pattern regex;
+	private String subst;
+	private int group = 1;
+
+	public void init(ServletConfig config)
+		throws ServletException
+	{
+		super.init(config);
+		regex = Pattern.compile( config.getInitParameter("regex") );
+		subst = config.getInitParameter("subst");
+	}
+
+	protected void service(HttpServletRequest request,HttpServletResponse response)
+		throws ServletException, IOException
+	{
+		String url = ServletUtils.getCurrentURL(request);
+		Matcher m = regex.matcher(url);
+		if( !m.find() )
+			throw new RuntimeException(url);
+		url = url.substring(0,m.start(group)) + subst + url.substring(m.end(group));
+//log.info(url);
+		response.sendRedirect(url);
+	}
+}