support httpLogout

prompto · Jun 11, 2020 · 14c55a4 · 14c55a4
1 parent 4a1d7ce
commit 14c55a4
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/Server/src/main/java/prompto/server/AppServer.java b/Server/src/main/java/prompto/server/AppServer.java
@@ -16,6 +16,7 @@
 import java.util.function.Consumer;
 import java.util.stream.Collectors;
 
+import javax.servlet.http.HttpServletRequest;
 import javax.servlet.http.HttpServletResponse;
 
 import org.eclipse.jetty.server.handler.HandlerList;
@@ -279,4 +280,11 @@ public static void httpRedirect(String path) throws IOException {
 		response.sendRedirect(path);
 	}
 
+
+	/* used by Server.pec */
+	public static void httpLogout(String path) throws IOException {
+		HttpServletRequest request = CleverServlet.CURRENT_REQUEST.get();
+		request.getSession().invalidate();
+		httpRedirect(path);
+	}
 }
diff --git a/Server/src/main/resources/libraries/Server.pec b/Server/src/main/resources/libraries/Server.pec
@@ -12,10 +12,14 @@ define getHttpUser as native method returning Text doing:
 define getHttpSession as native method returning Document doing:
 	Java: return $server.getHttpSession();
 
+define httpLogout as native method receiving Text path doing:
+    Java: $server.httpLogout(path);
+
 define getHttpPort as native method returning Integer doing:
     Java: return $server.getHttpPort();
 	JavaScript: return self.location.port;
 
 define httpRedirect as native method receiving Text path doing:
     Java: $server.httpRedirect(path);
+	JavaScript: browserGoto(location); from module: prompto/internet/Browser.js