79 |
BlockId id = (BlockId)i.next(); |
BlockId id = (BlockId)i.next(); |
80 |
Block block = publishedPool.get(id); |
Block block = publishedPool.get(id); |
81 |
map.put(id.toString(), server.getURL()+id.toString()); |
map.put(id.toString(), server.getURL()+id.toString()); |
82 |
|
map.put("http://fenfire.org/2003/05/published-blocks", |
83 |
|
id.toString()); |
84 |
|
|
85 |
p("Published: " + id.toString() + "(key):" + server.getURL() + |
p("Published: " + id.toString() + "(key):" + server.getURL() + |
86 |
id.toString()+ "(value)\n"); |
id.toString()+ "(value)\n"); |
97 |
} |
} |
98 |
} |
} |
99 |
} |
} |
|
// XXX put indexing information into pool! |
|
100 |
} |
} |
101 |
|
|
102 |
public IndexedPool getPool() { |
public IndexedPool getPool() { |