mirror of
https://github.com/enso-org/enso.git
synced 2024-12-23 00:11:45 +03:00
b286adaae4
# Important Notes The command to run the gui dev environment has been changed. Invoking the old command will print a message about that. From now on, use `pnpm dev:gui2` in repository root.
39 lines
980 B
TypeScript
39 lines
980 B
TypeScript
import { Server } from '@open-rpc/server-js'
|
|
import * as random from 'lib0/random'
|
|
import {
|
|
methods as pmMethods,
|
|
projects,
|
|
type ProjectId,
|
|
type ProjectName,
|
|
type UTCDateTime,
|
|
} from '../mock/projectManager'
|
|
import pmSpec from './pm-openrpc.json' assert { type: 'json' }
|
|
|
|
export default function setup() {
|
|
const pm = new Server({
|
|
transportConfigs: [
|
|
{
|
|
type: 'WebSocketTransport',
|
|
options: {
|
|
id: 'websocket',
|
|
udp: true,
|
|
ipv6: true,
|
|
port: 30536,
|
|
middleware: [],
|
|
},
|
|
},
|
|
],
|
|
openrpcDocument: pmSpec as typeof pmSpec & { openrpc: never },
|
|
methodMapping: pmMethods,
|
|
})
|
|
pm.start()
|
|
projects.set('mock project id 0001', {
|
|
id: random.uuidv4() as ProjectId,
|
|
created: new Date().toISOString() as UTCDateTime,
|
|
lastOpened: new Date().toISOString() as UTCDateTime,
|
|
engineVersion: '',
|
|
name: 'Mock Project Name' as ProjectName,
|
|
namespace: 'local',
|
|
})
|
|
}
|