/*
* HostKeyRepository getKnownHosts(){
* if(known_hosts==null) known_hosts=new KnownHosts(this);
* return known_hosts;
* }
*/
public HostKeyRepository 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(HostKeyRepository foo)
{
known_hosts = foo;
}
/*
HostKeyRepository getKnownHosts(){
if(known_hosts==null) known_hosts=new KnownHosts(this);
return known_hosts;
}
*/
public HostKeyRepository 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(HostKeyRepository foo)
{
known_hosts=foo;
}
public void setHostKeyRepository(HostKeyRepository value)
{
known_hosts = value;
}
public void setHostKeyRepository(HostKeyRepository value)
{
known_hosts = value;
}