81 |
String[] seeds = new String[argv.length-i]; |
String[] seeds = new String[argv.length-i]; |
82 |
System.arraycopy(argv, i, seeds, 0, seeds.length); |
System.arraycopy(argv, i, seeds, 0, seeds.length); |
83 |
|
|
84 |
GispPeer peer = new GispPeer(publishedPool, |
GispPeer peer = null; |
85 |
new TransientPool(indexTypes), |
while(peer == null) { |
86 |
gisp_port, seeds); |
try { |
87 |
|
peer = new GispPeer(publishedPool, |
88 |
|
new TransientPool(indexTypes), |
89 |
|
gisp_port, seeds); |
90 |
|
} catch(java.net.BindException _) { |
91 |
|
p("Port "+gisp_port+" couldn't be used."); |
92 |
|
gisp_port++; |
93 |
|
} |
94 |
|
} |
95 |
|
|
96 |
if(gisp_port == GispP2PMap.PORT) |
if(gisp_port == GispP2PMap.PORT) |
97 |
p("GISP UDP port: default of "+gisp_port); |
p("GISP UDP port: default of "+gisp_port); |
98 |
else |
else |