Function pushState

extensions/java-modernization-studio/server.mjs:66–76

(rec, log, opts)

/** Re-scan the repo and push the fresh snapshot to connected clients. */
export async function pushState(rec, log, opts) {
    let state;
    try {
        state = await buildState(rec, opts);
    } catch (e) {
        if (log) log("appmod-cockpit scan failed: " + e.message, { level: "error" });
        return null;
    }
    broadcast(rec, { type: "state", state });
    return state;
}

/** Clamp a requested step budget into a sane range. */
function clampSteps(n) {