mirror of
https://github.com/peterosterlund2/droidfish.git
synced 2025-12-19 20:22:18 +01:00
DroidFish: Fixed bug when exporting time information to PGN data.
This commit is contained in:
@@ -1155,7 +1155,7 @@ public class GameTree {
|
||||
|
||||
private final void addExtendedInfo(PgnToken.PgnTokenReceiver out,
|
||||
String extCmd, String extData) {
|
||||
out.processToken(this, PgnToken.COMMENT, "{[%" + extCmd + " " + extData + "]}");
|
||||
out.processToken(this, PgnToken.COMMENT, "[%" + extCmd + " " + extData + "]");
|
||||
}
|
||||
|
||||
private static final String getTimeStr(int remainingTime) {
|
||||
|
||||
Reference in New Issue
Block a user