mirror of
https://github.com/OpenSpace/OpenSpace.git
synced 2026-01-07 12:10:52 -06:00
5079f3fc60
* Add support for multiple endpoints for webserver * Add support for a default endpoint (redirect) in webgui * Always serve prod gui * Update webgui deps
21 lines
688 B
Plaintext
21 lines
688 B
Plaintext
local backendHash = "7ca0a34e9c4c065b7bfad0623db0e322bf3e0af9"
|
|
local dataProvider = "data.openspaceproject.com/files/webgui"
|
|
|
|
local backend = asset.syncedResource({
|
|
Identifier = "WebGuiBackend",
|
|
Name = "Web Gui Backend",
|
|
Type = "UrlSynchronization",
|
|
Url = dataProvider .. "/backend/" .. backendHash .. "/backend.zip"
|
|
})
|
|
|
|
asset.onInitialize(function ()
|
|
-- Unzip the server bundle
|
|
dest = backend .. "/backend"
|
|
if not openspace.directoryExists(dest) then
|
|
openspace.unzipFile(backend .. "/backend.zip", dest, true)
|
|
end
|
|
|
|
openspace.setPropertyValueSingle(
|
|
"Modules.WebGui.ServerProcessEntryPoint", backend .. "/backend/backend.js"
|
|
)
|
|
end) |