36 lines
1.0 KiB
JSON
36 lines
1.0 KiB
JSON
{
|
|
"IP": "${ip}",
|
|
"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": "201411112300",
|
|
"MaxProcs": 4,
|
|
"RuntimeMode": "dev",
|
|
"WD": "${pwd}",
|
|
"Workspace": "{WD}/data/workspace",
|
|
"Locale": "en_US",
|
|
"Users": [
|
|
{
|
|
"Name": "admin",
|
|
"Password": "admin",
|
|
"Workspace": "{WD}/data/user_workspaces/admin",
|
|
"Locale": "en_US",
|
|
"GoFormat": "gofmt",
|
|
"FontFamily": "Helvetica",
|
|
"FontSize": "13px",
|
|
"Editor": {
|
|
"FontFamily": "Consolas, 'Courier New', monospace",
|
|
"FontSize": "inherit"
|
|
},
|
|
"LatestSessionContent": {
|
|
"FileTree": [],
|
|
"Files": [],
|
|
"CurrentFile": ""
|
|
}
|
|
}
|
|
]
|
|
} |