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;
}
