cache: rename result_server to results

Signed-off-by: Tobias Ulmer <tu@emlix.com>

diff --git a/generic/cache.lua b/generic/cache.lua
index ebc9979d052b2c307f8cd52402b01e9b6e53ee24..0fa501022984cf47d9791f09396b46a35f7e47a9 100644 (file)
--- a/generic/cache.lua
+++ b/generic/cache.lua
@@ -154,7 +154,7 @@ local _server_names = strict.lock({
     proj_storage = "proj-storage",
     projects = "projects",
     upstream = "upstream",
-    result_server = "results",
+    results = "results",
     releases = "releases",
 })
 

diff --git a/local/policy.lua b/local/policy.lua
index af92ddb0ab769754161098b2f3b7b7c17a679009..4e0eac18ede8dbc3a05dcc4b0adb6668ee6cf334 100644 (file)
--- a/local/policy.lua
+++ b/local/policy.lua
@@ -67,7 +67,7 @@ end
 -- @return Server name (string).
 -- @return Location path to store results in (string).
 local function storage_release(location, release_id)
-    return cache.server_names().result_server,
+    return cache.server_names().results,
         string.format("%s/release/%s", location, release_id)
 end
 
@@ -77,7 +77,7 @@ end
 -- @return Server name (string).
 -- @return Location path to store results in (string).
 local function storage_default(location, release_id)
-    return cache.server_names().result_server,
+    return cache.server_names().results,
         string.format("%s/shared", location)
 end