31 lines
827 B
JSON
31 lines
827 B
JSON
{
|
|
"Server": "{IP}:7070",
|
|
"StaticServer": "http://{IP}:7070",
|
|
"EditorChannel": "ws://{IP}:7070",
|
|
"OutputChannel": "ws://{IP}:7070",
|
|
"ShellChannel": "ws://{IP}:7070",
|
|
"SessionChannel": "ws://{IP}:7070",
|
|
"StaticResourceVersion": "201409032040",
|
|
"MaxProcs": 4,
|
|
"RuntimeMode": "dev",
|
|
"Pwd": "{pwd}",
|
|
"Users": [
|
|
{
|
|
"Name": "admin",
|
|
"Password": "admin",
|
|
"Workspace": "{pwd}/data/user_workspaces/admin",
|
|
"LatestSessionContent": {
|
|
"FileTree": [
|
|
"1/",
|
|
"2/"
|
|
],
|
|
"Files": [
|
|
"1.go",
|
|
"2.go",
|
|
"3.go"
|
|
],
|
|
"CurrentFile": "current file"
|
|
}
|
|
}
|
|
]
|
|
} |