14 lines
380 B
JSON
14 lines
380 B
JSON
{
|
|
"Server": "{IP}:7070",
|
|
"StaticServer": "http://{IP}:7070",
|
|
"EditorChannel": "ws://{IP}:7070",
|
|
"OutputChannel": "ws://{IP}:7070",
|
|
"ShellChannel": "ws://{IP}:7070",
|
|
"StaticResourceVersion": "",
|
|
"ContextPath": "",
|
|
"StaticPath": "",
|
|
"RuntimeMode": "dev",
|
|
"Repos": "{pwd}/data/repos/src",
|
|
"UserRepos": "{pwd}/data/user_repos/{user}/src"
|
|
}
|