fix pgn dump file name
This commit is contained in:
parent
ddaa2cef16
commit
21afba0b46
|
@ -43,7 +43,7 @@ private[game] final class PgnDump(
|
|||
private def elo(p: Player) = p.elo.fold("?")(_.toString)
|
||||
|
||||
private def player(p: Player, u: Option[User]) =
|
||||
p.aiLevel.fold(u.fold(User.anonymous)(_.username))("AI level " + _)
|
||||
p.aiLevel.fold(u.fold(User.anonymous)(_.username))("AI-level-" + _)
|
||||
|
||||
private def tags(game: Game): Fu[List[Tag]] =
|
||||
gameUsers(game) zip
|
||||
|
|
Loading…
Reference in a new issue