public void addHandle(RepositoryServerHandleImpl handle) {
		synchronized (handleList) {
			handleList.add(handle);
		}
	}
Add a user handle to this repository server.
@param handle user repository server handle
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/RepositoryManager.java