CREATE TABLE scores (
id varchar primary key,
- plot_score integer not null,
- short_score varchar not null,
+ score_type varchar not null,
+ score_value integer,
engine varchar not null,
depth bigint not null,
nodes bigint not null
white_clock_target integer, -- FIXME: really timestamp with time zone
black_clock_target integer -- FIXME: really timestamp with time zone
);
+
+CREATE TABLE current_games (
+ id varchar not null primary key,
+ json_path varchar not null,
+ url varchar not null,
+ hashurl varchar not null,
+ priority integer not null default 0,
+);