29 lines
807 B
JSON
29 lines
807 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",
|
|
"HTTPSessionMaxAge": 86400,
|
|
"StaticResourceVersion": "201410241024",
|
|
"MaxProcs": 4,
|
|
"RuntimeMode": "dev",
|
|
"Pwd": "{pwd}",
|
|
"Workspace": "{pwd}/data/workspace",
|
|
"Locale": "zh_CN",
|
|
"Users": [
|
|
{
|
|
"Name": "admin",
|
|
"Password": "admin",
|
|
"Workspace": "{pwd}/data/user_workspaces/admin",
|
|
"Locale": "zh_CN",
|
|
"GoFormat": "gofmt",
|
|
"LatestSessionContent": {
|
|
"FileTree": [],
|
|
"Files": [],
|
|
"CurrentFile": ""
|
|
}
|
|
}
|
|
]
|
|
} |