Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion scheduler/pool.ml
Original file line number Diff line number Diff line change
Expand Up @@ -162,7 +162,7 @@ module Dao = struct
Sqlite3.exec db "CREATE TABLE IF NOT EXISTS workers ( \
pool TEXT NOT NULL, \
id TEXT NOT NULL, \
paused BOOLEAN DEFAULT FALSE, \
paused BOOLEAN DEFAULT 0, \
PRIMARY KEY (pool, id))" |> Db.or_fail ~cmd:"create workers table";
let query_cache = Sqlite3.prepare db "SELECT worker FROM cached WHERE pool = ? AND cache_hint = ? ORDER BY worker" in
let mark_cached = Sqlite3.prepare db "INSERT OR REPLACE INTO cached (pool, cache_hint, worker, created) VALUES (?, ?, ?, date('now'))" in
Expand Down