# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1311083321 -7200
# Node ID fcd69520f12d08b9d6b8203702a5f88ebb185804
# Parent  74d06a8a494834186e3eeebed866ec85bedfe74e
Odhlašování – logování.

diff -r 74d06a8a4948 -r fcd69520f12d java/nekurak.net-web/src/java/cz/frantovo/nekurak/servlet/Odhlaseni.java
--- a/java/nekurak.net-web/src/java/cz/frantovo/nekurak/servlet/Odhlaseni.java	Tue Jul 19 15:22:15 2011 +0200
+++ b/java/nekurak.net-web/src/java/cz/frantovo/nekurak/servlet/Odhlaseni.java	Tue Jul 19 15:48:41 2011 +0200
@@ -1,6 +1,9 @@
 package cz.frantovo.nekurak.servlet;
 
 import java.io.IOException;
+import java.util.Date;
+import java.util.logging.Level;
+import java.util.logging.Logger;
 import javax.servlet.ServletException;
 import javax.servlet.http.HttpServletRequest;
 import javax.servlet.http.HttpServletResponse;
@@ -11,12 +14,22 @@
  */
 public class Odhlaseni extends SuperServlet {
 
+	private static final Logger log = Logger.getLogger(Odhlaseni.class.getSimpleName());
+
 	@Override
 	protected void doGet(HttpServletRequest požadavek, HttpServletResponse odpověď) throws ServletException, IOException {
+		try {
+			String uživatel = požadavek.getUserPrincipal().getName();
+			Date začátekRelace = new Date(požadavek.getSession().getCreationTime());
+			log.log(Level.INFO, "Uživatel {0}, jehož relace začala {1}, se právě odhlásil.", new Object[]{uživatel, začátekRelace});
+		} catch (Exception e) {
+			log.log(Level.WARNING, "Odhlašování uživatele selhalo – pravděpodobně byl už odhlášen.", e);
+		}
+
 		požadavek.logout();
+
+
 		super.doGet(požadavek, odpověď);
 		zpracujJSP("odhlášení-dokončeno.jsp", požadavek, odpověď);
 	}
-
-	
 }