2 id varchar primary key,
3 score_type varchar not null,
5 engine varchar not null,
10 CREATE TABLE clock_info (
11 id varchar primary key,
14 white_clock_target integer, -- FIXME: really timestamp with time zone
15 black_clock_target integer -- FIXME: really timestamp with time zone
18 CREATE TABLE current_games (
19 id varchar not null primary key,
20 json_path varchar not null,
22 priority integer not null default 0,