Пример #1
0
 /*
  * 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);
 }
Пример #2
0
 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);
         }
     }
 }
Пример #3
0
 public void setHostKeyRepository(HostKeyRepository foo)
 {
     known_hosts = foo;
 }
Пример #4
0
 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);
     }
     }
 }
Пример #5
0
 public void setHostKeyRepository(HostKeyRepository foo)
 {
     known_hosts=foo;
 }
Пример #6
0
 /*
 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;
 }