Pool configurable in GUI.

2024-12-01 13:41:18 +01:00 · 2024-12-01 13:41:18 +01:00 · 367aebeee5
commit 367aebeee5
parent 77cfcff2ed
6 changed files with 296 additions and 134 deletions
--- a/org.jdrupes.vmoperator.common/src/org/jdrupes/vmoperator/common/VmPool.java
+++ b/org.jdrupes.vmoperator.common/src/org/jdrupes/vmoperator/common/VmPool.java
@ -60,6 +60,8 @@ public class VmPool {
    }

    /**
+     * All permissions.
+     *
     * @return the permissions
     */
    public List<Grant> permissions() {