()
| 33 | path.join(serverControlDir(path), "server.json"); |
| 34 | |
| 35 | export const readLocalServerManifest = (): Effect.Effect< |
| 36 | ExecutorLocalServerManifest | null, |
| 37 | never, |
| 38 | FileSystem.FileSystem | Path.Path |
| 39 | > => |
| 40 | Effect.gen(function* () { |
| 41 | const fs = yield* FileSystem.FileSystem; |
| 42 | const path = yield* Path.Path; |
| 43 | const raw = yield* fs |
| 44 | .readFileString(localServerManifestPath(path)) |
| 45 | .pipe(Effect.catchCause(() => Effect.succeed(null))); |
| 46 | if (raw === null) return null; |
| 47 | return parseExecutorLocalServerManifest(raw); |
| 48 | }); |
| 49 | |
| 50 | export const writeLocalServerManifest = ( |
| 51 | manifest: ExecutorLocalServerManifest, |
no test coverage detected