SystemTypes: drop database table. It was originally removed in #65, but put back in fcd511c4de, and now totally unused.

This commit is contained in:
Graham Christensen
2021-10-24 21:38:04 -04:00
parent 3516950d3c
commit ff888032eb
4 changed files with 1 additions and 82 deletions

View File

@@ -440,13 +440,6 @@ create table CachedCVSInputs (
primary key (uri, module, sha256hash)
);
-- FIXME: remove
create table SystemTypes (
system text primary key not null,
maxConcurrent integer not null default 2
);
create table EvaluationErrors (
id serial primary key not null,
errorMsg text, -- error output from the evaluator