Spaces:
Runtime error
Runtime error
| with open("server/src/types/express.d.ts", "r") as f: | |
| content = f.read() | |
| content = """export {}; | |
| declare module "express-serve-static-core" { | |
| interface Request { | |
| actor: { | |
| type: "board" | "agent" | "none"; | |
| userId?: string; | |
| agentId?: string; | |
| companyId?: string; | |
| companyIds?: string[]; | |
| isInstanceAdmin?: boolean; | |
| keyId?: string; | |
| runId?: string; | |
| source?: "local_implicit" | "session" | "board_key" | "agent_key" | "agent_jwt" | "none"; | |
| }; | |
| } | |
| } | |
| """ | |
| with open("server/src/types/express.d.ts", "w") as f: | |
| f.write(content) | |