freemarkerdor/src/main/resources/cz/xelfi/quoridor/freemarkerdor/UI/game.fmt
changeset 136 73b18c815499
parent 133 d83dc9d624e8
child 141 8d5afaa13ee3
     1.1 --- a/freemarkerdor/src/main/resources/cz/xelfi/quoridor/freemarkerdor/UI/game.fmt	Sun Oct 25 14:51:37 2009 +0100
     1.2 +++ b/freemarkerdor/src/main/resources/cz/xelfi/quoridor/freemarkerdor/UI/game.fmt	Tue Nov 03 23:51:36 2009 +0100
     1.3 @@ -9,7 +9,7 @@
     1.4        </#if>
     1.5      </title>
     1.6      <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
     1.7 -    <#if user != doc.game.@currentPlayer && doc.game.id.@status?index_of("Won") != -1>
     1.8 +    <#if user != doc.game.@currentPlayer >
     1.9          <meta http-equiv="REFRESH" content="60;URL=/games/${doc.game.id.@id}">
    1.10      </#if>
    1.11      <script type="text/javascript">
    1.12 @@ -71,7 +71,7 @@
    1.13      </script>
    1.14    </head>
    1.15    <body>
    1.16 -      <h1><a href="/">${bundle.TITLE_PLAIN}</a></h1>
    1.17 +      <h3><a href="/">${bundle.TITLE_PLAIN}</a></h3>
    1.18  
    1.19        <#macro status who>
    1.20            ${who?string}