public synchronized void deleteRepository(String name)
			throws UserAccessException, IOException, NotConnectedException {
		checkServerHandle();
		try {
			serverHandle.deleteRepository(name);
		}
		catch (RemoteException e) {
			if (recoverConnection(e)) {
				serverHandle.deleteRepository(name);
				return;
			}
			throw e;
		}
	}
Delete a repository.
@param name repository name.
@throws UserAccessException
@throws IOException
@throws NotConnectedException if server connection is down (user already informed)
@see ghidra.framework.remote.RemoteRepositoryServerHandle#deleteRepository(java.lang.String)
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/client/RepositoryServerAdapter.java