public HostKeyRepository getHostKeyRepository() { if (known_hosts == null) { known_hosts = new KnownHosts(this); } return(known_hosts); }
public void setKnownHosts(string filename) { if (known_hosts == null) { known_hosts = new KnownHosts(this); } if (known_hosts is KnownHosts) { lock (known_hosts) { ((KnownHosts)known_hosts).setKnownHosts(filename); } } }
public void setKnownHosts(Stream stream) { if (known_hosts == null) { known_hosts = new KnownHosts(this); } if (known_hosts is KnownHosts) { lock (known_hosts) { ((KnownHosts)known_hosts).setKnownHosts(stream); } } }
public void setHostKeyRepository(HostKeyRepository hkrepo) { known_hosts = hkrepo; }