mirror of
https://github.com/peterosterlund2/droidfish.git
synced 2025-12-14 18:02:43 +01:00
Small optimization
This commit is contained in:
@@ -1413,7 +1413,7 @@ public class GameTree {
|
|||||||
}
|
}
|
||||||
|
|
||||||
private static Pair<String, String> extractExtInfo(String comment, String cmd) {
|
private static Pair<String, String> extractExtInfo(String comment, String cmd) {
|
||||||
comment = comment.replaceAll("\n|\r|\t", " ");
|
comment = comment.replaceAll("[\n\r\t]", " ");
|
||||||
String remaining = comment;
|
String remaining = comment;
|
||||||
String param = null;
|
String param = null;
|
||||||
String match = "[%" + cmd + " ";
|
String match = "[%" + cmd + " ";
|
||||||
|
|||||||
Reference in New Issue
Block a user