mirror of
https://github.com/badlogic/pi-mono.git
synced 2026-11-05 23:37:25 +00:00
05dc8d239d
p2 (Pi Mobile on Chord v2) moves from pi-private into pi as one commit. Root scripts that loop all workspaces use --if-present; npm test, ./test.sh and the release script cover packages/* only (p2: cd apps/p2 && npm test); sync-versions also updates apps' workspace pins.
57 lines
2.6 KiB
TypeScript
57 lines
2.6 KiB
TypeScript
import { defineExtension, defineTool, ROOT_CONVERSATION_ID, section } from "@earendil-works/pi-durable";
|
|
import { arr, obj, opt, str } from "@earendil-works/pi-schema";
|
|
import type { Context, DevResult } from "@p2/app/v1";
|
|
import { originOf } from "@p2/app/v1/worker";
|
|
|
|
export function createReloadExtension(
|
|
reload: (plugins: readonly string[] | undefined, context: Context) => Promise<DevResult>,
|
|
project: boolean | (() => boolean),
|
|
) {
|
|
const permitted = () => (typeof project === "function" ? project() : project);
|
|
return defineExtension({
|
|
name: "p2-dev-tools",
|
|
sections: [
|
|
section("p2-development", (input) =>
|
|
permitted() && input.conversationId === ROOT_CONVERSATION_ID
|
|
? "p2 backend saves only mark dirty. After editing p2 plugins, use reload_plugins to apply dirty plugins (or name plugins). Web/UI edits are plugin edits too: reload_plugins rebuilds the web bundle and open pages reload onto it. Runtime edits need an explicit `npm run reload -- --restart` from apps/p2 with this server's P2_DATA_DIR. Only owner-initiated turns may use reload_plugins, never guests, peers or unattributed input."
|
|
: undefined,
|
|
),
|
|
],
|
|
tools: [
|
|
defineTool({
|
|
name: "reload_plugins",
|
|
description:
|
|
"Explicitly reload p2's dirty backend plugins on the server and all running workers; optional plugins selects names. Returns the committed selection or refusal reason. Only owner-initiated root turns in a local p2 checkout. Runtime code needs npm run reload -- --restart instead.",
|
|
parameters: obj(
|
|
{
|
|
plugins: opt(arr(str({ minLength: 1, maxLength: 100 }), { maxItems: 100 })),
|
|
},
|
|
{ open: true },
|
|
),
|
|
// Do not replay a code upgrade after a crash; the caller can explicitly request another reload.
|
|
replay: "unsafe",
|
|
execute: async (args, api, context) => {
|
|
const reply = (message: string, ok: boolean) => ({
|
|
output: [{ type: "text" as const, text: message }],
|
|
details: { ok },
|
|
isError: !ok,
|
|
});
|
|
if (!permitted() || api.conversationId !== ROOT_CONVERSATION_ID)
|
|
return reply("reload_plugins requires a root session working on a local p2 checkout", false);
|
|
if ((await originOf(api, context)) !== "owner")
|
|
return reply(
|
|
"reload_plugins requires owner-initiated input; guests, peers and unattributed input cannot trigger upgrades",
|
|
false,
|
|
);
|
|
try {
|
|
const result = await reload(args.plugins, context);
|
|
return reply(result.message, result.ok);
|
|
} catch (error) {
|
|
if (context.abortSignal?.aborted) throw error;
|
|
return reply(error instanceof Error ? error.message : String(error), false);
|
|
}
|
|
},
|
|
}),
|
|
],
|
|
});
|
|
}
|