147 |
|
|
148 |
byte[] bytes = s.getBytes("US-ASCII"); |
byte[] bytes = s.getBytes("US-ASCII"); |
149 |
resp.getOutputStream().write(bytes); |
resp.getOutputStream().write(bytes); |
150 |
|
resp.close(); |
151 |
return resp; |
return resp; |
152 |
} catch(FileNotFoundException e) { |
} catch(FileNotFoundException e) { |
153 |
return resf.makeError(404, "Not found"); |
return resf.makeError(404, "Not found"); |
232 |
for(Iterator i=ids.iterator(); i.hasNext();) { |
for(Iterator i=ids.iterator(); i.hasNext();) { |
233 |
BlockId id = (BlockId)i.next(); |
BlockId id = (BlockId)i.next(); |
234 |
String s = id.getURI(); |
String s = id.getURI(); |
235 |
if(rewrite || id.getContentType().equals("text/html")) |
if(rewrite) |
236 |
s = base + s; |
s = base + s; |
237 |
w.write("<a href=\""+s+"\">"+id+"</a><br>\n"); |
w.write("<a href=\""+s+"\">"+id+"</a><br>\n"); |
238 |
} |
} |