public String[] getUsers() {
		synchronized (repositoryMgr) {
			String[] names = new String[userList.size()];
			Iterator<String> iter = userList.keySet().iterator();
			int i = 0;
			while (iter.hasNext()) {
				names[i++] = iter.next();
			}
			return names;
		}
	}
Get list of all users known to server.
@return list of known users
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/UserManager.java