From 40c6b1dafab4de169bac8a799e7953e85061218e Mon Sep 17 00:00:00 2001 From: tslil clingman Date: Tue, 2 Feb 2021 19:23:54 -0500 Subject: TEI interface working! --- resources/extract.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'resources') diff --git a/resources/extract.sh b/resources/extract.sh index e9cd62a..fb2c30d 100755 --- a/resources/extract.sh +++ b/resources/extract.sh @@ -2,7 +2,7 @@ db_file=games_anon.db -chosen_players="AaaarghBot Tiltak_Bot Taktician" +chosen_players="AaaarghBot Tiltak_Bot TakticianBot" query() { query="(size == $1) and (result != '1-0') and (result != '0-1') and (result != '0-0') and (result != '1/2-1/2')" -- cgit v1.3.1