@cocalc/database/dist/postgres/syncdoc-history.js

CoCalc: code for working with our PostgreSQL database

"use strict";
/*
 *  This file is part of CoCalc: Copyright © 2020 Sagemath, Inc.
 *  License: AGPLv3 s.t. "Commons Clause" – see LICENSE.md for details
 */
Object.defineProperty(exports, "__esModule", { value: true });
exports.syncdoc_history = void 0;
const async_utils_1 = require("@cocalc/util/async-utils");
const misc_1 = require("@cocalc/util/misc");
async function get_users(db, where) {
    const query = "SELECT project_id, users FROM syncstrings";
    // get the user_id --> account_id map
    const results = await (0, async_utils_1.callback2)(db._query, { query, where });
    if (results.rows.length != 1) {
        throw Error("no such syncstring");
    }
    const account_ids = results.rows[0].users
        ? results.rows[0].users
        : []; // syncdoc exists, but not used yet.
    const project_id = results.rows[0].project_id;
    const project_title = (0, misc_1.trunc)((await (0, async_utils_1.callback2)(db.get_project, {
        columns: ["title"],
        project_id,
    })).title, 80);
    // get the names of the users
    const names = await (0, async_utils_1.callback2)(db.account_ids_to_usernames, { account_ids });
    const users = [];
    for (const account_id of account_ids) {
        if (account_id == project_id) {
            users.push({ account_id, user: `Project: ${project_title}` });
            continue;
        }
        const name = names[account_id];
        if (name == null)
            continue;
        const user = (0, misc_1.trunc)(`${name.first_name} ${name.last_name}`, 80);
        users.push({ account_id, user });
    }
    return users;
}
async function syncdoc_history(db, string_id, include_patches = false) {
    const where = { "string_id = $::CHAR(40)": string_id };
    const users = await get_users(db, where);
    const order_by = "time";
    let query;
    if (include_patches) {
        query = "SELECT time, user_id, format, patch, snapshot FROM patches";
    }
    else {
        query =
            "SELECT time, user_id, format, length(patch) as patch_length FROM patches";
    }
    const results = await (0, async_utils_1.callback2)(db._query, {
        query,
        where,
        order_by,
        timeout_s: 300,
    });
    const patches = [];
    function format_patch(row) {
        const patch = { time_utc: row.time, format: row.format };
        const u = users[row.user_id];
        if (u != null) {
            for (const k in u) {
                patch[k] = u[k];
            }
        }
        if (include_patches) {
            patch.patch = row.patch;
            if (row.snapshot != null) {
                patch.snapshot = row.snapshot;
            }
        }
        else {
            patch.patch_length = row.patch_length;
        }
        return patch;
    }
    for (const row of results.rows) {
        patches.push(format_patch(row));
    }
    return patches;
}
exports.syncdoc_history = syncdoc_history;
//# sourceMappingURL=syncdoc-history.js.map