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