diff options
| author | tslil clingman <tslil@posteo.de> | 2021-02-02 19:23:54 -0500 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2021-02-05 00:12:18 -0500 |
| commit | 4f20d9fd63b6b3e30130c84c20f7cdbbbf2df76d (patch) | |
| tree | 99d86e8f90e8aa19b35875ea8ba624c50c467857 /resources | |
| parent | 41b5dc810e25724e8111cf7f2ad1b4b52f9b1206 (diff) | |
TEI interface working!
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/extract.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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')" |