Fix how rest port is obtained (#2263)

[aquarium] / src / test / resources / roles-agreements.map

diff --git a/src/test/resources/roles-agreements.map b/src/test/resources/roles-agreements.map
index 10b295e..c827497 100644 (file)
--- a/src/test/resources/roles-agreements.map
+++ b/src/test/resources/roles-agreements.map
@@ -2,10 +2,12 @@
 #
 # name-of-role=name-of-agreement
 #
+# The allowed characters for both parts are a-z,A-Z,0-9,-,_
+#
 # The syntax is case insensitive.
 # The special entry *=default specifies the agreement to use in case
 # Aquarium encounters a user role not defined in this file
 
 student=default
-prof=default
+prof=onemonthexperiment
 *=default