workbench: get backend name from the backend

IntersectMBO · Nov 29, 2022 · 68087d4 · 68087d4
1 parent d115df8
commit 68087d4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/nix/workbench/backend/supervisor-run.nix b/nix/workbench/backend/supervisor-run.nix
@@ -1,5 +1,4 @@
 let
-  backendName        = "supervisor";
   batchNameDefault   = "plain";
   profileNameDefault = "default-bage";
 in
@@ -16,6 +15,8 @@ in
 let
   inherit (backendWorkbench) workbench backend cacheDir stateDir basePort;
 
+  backendName = backendWorkbench.backend.name;
+
   with-backend-profile =
     { envArgsOverride ? {} }: ## TODO: envArgsOverride is not used!
     workbench.with-profile