private void updatePropertiesFile(RepositoryAdapter rep) throws IOException {
		ServerInfo info = rep.getServerInfo();
		if (info == null) {
			return;
		}
		properties.putString(SERVER_NAME, info.getServerName());
		properties.putString(REPOSITORY_NAME, rep.getName());
		properties.putInt(PORT_NUMBER, info.getPortNumber());
		properties.writeState();

	}
Determine if the specified project location currently has a write lock.
@param locator project storage locator
@return true if project data current has write-lock else false
Ghidra/Framework/Project/src/main/java/ghidra/framework/data/DefaultProjectData.java