/*
* HostKeyRepository getKnownHosts(){
* if(known_hosts==null) known_hosts=new KnownHosts(this);
* return known_hosts;
* }
*/
public IHostKeyRepository getHostKeyRepository()
{
if (known_hosts == null)
{
known_hosts = new KnownHosts(this);
}
return(known_hosts);
}
public void setKnownHosts(StreamReader foo)
{
if (known_hosts == null)
{
known_hosts = new KnownHosts(this);
}
if (known_hosts is KnownHosts)
{
lock (known_hosts) {
((KnownHosts)known_hosts).setKnownHosts(foo);
}
}
}
public void SetHostKeyRepository(IHostKeyRepository hostKeyRepository)
{
throw new NotImplementedException();
}
public void setHostKeyRepository(IHostKeyRepository foo)
{
known_hosts = foo;
}
