| 300 year, month, day); |
300 year, month, day); |
| 301 } |
301 } |
| 302 return date; |
302 return date; |
| 303 } |
303 } |
| 304 |
304 |
| 305 const char *pgn_player_name(const GameState *gamestate, uint8_t color) { |
305 const char *pgn_player_name(const GameState *gamestate, Color color) { |
| 306 const char *name = color == WHITE ? gamestate->wname : gamestate->bname; |
306 const char *name = color == WHITE ? gamestate->wname : gamestate->bname; |
| 307 return name[0] != '\0' ? name : "Anonymous"; |
307 return name[0] != '\0' ? name : "Anonymous"; |
| 308 } |
308 } |
| 309 |
309 |
| 310 int write_pgn(FILE* stream, const GameState *gamestate, bool export_comments) { |
310 int write_pgn(FILE* stream, const GameState *gamestate, bool export_comments) { |