# HG changeset patch
# User bsw
# Date 1352051256 -3600
# Node ID 39cf8f1304a76202b58fc35a6260d6b56def8355
# Parent  35d30116c9fe231eee61572a83a710fa734f2cb2
Added seconds to time format

diff -r 35d30116c9fe -r 39cf8f1304a7 app/main/_filter/20_session.lua
--- a/app/main/_filter/20_session.lua	Sun Nov 04 18:47:04 2012 +0100
+++ b/app/main/_filter/20_session.lua	Sun Nov 04 18:47:36 2012 +0100
@@ -14,9 +14,9 @@
 locale.set{ lang = app.session.lang or config.default_lang or "en" }
 
 if locale.get("lang") == "de" then
-  locale.set{ 
+  locale.set{
     date_format = 'DD.MM.YYYY',
-    time_format = 'HH:MM Uhr',
+    time_format = 'HH:MM{:SS} Uhr',
     decimal_point = ','
   }
 end