public void setKnownHosts(StreamReader knownHosts)
{
if (m_known_hosts == null)
m_known_hosts = new KnownHosts(this);
if (m_known_hosts is KnownHosts)
lock (m_known_hosts)
((KnownHosts)m_known_hosts).setKnownHosts(knownHosts);
}
public void setHostKeyRepository(HostKeyRepository knownHosts)
{
m_known_hosts = knownHosts;
}
public void setKnownHosts(string knownHosts)
{
if (m_known_hosts == null)
m_known_hosts = new KnownHosts(this);
if (m_known_hosts is KnownHosts)
lock (m_known_hosts)
((KnownHosts)m_known_hosts).setKnownHosts(knownHosts);
}
public HostKeyRepository getHostKeyRepository()
{
if (m_known_hosts == null)
m_known_hosts = new KnownHosts(this);
return m_known_hosts;
}
