242 |
String s = id.getURI(); |
String s = id.getURI(); |
243 |
if(rewrite) |
if(rewrite) |
244 |
s = base + s; |
s = base + s; |
245 |
w.write(n+"<a href=\""+s+"\">"+id+"</a><br>\n"); |
if(n != null) { |
246 |
|
w.write("<b><a href=\""+s+"\">"+n+"</a></b>\n"); |
247 |
|
w.write("<small>("+id+")</small><br />\n"); |
248 |
|
} else { |
249 |
|
w.write("<a href=\""+s+"\">"+id+"</a><br />\n"); |
250 |
|
} |
251 |
} |
} |
252 |
catch(GeneralSecurityException _) { _.printStackTrace(); w.write("<p> error X"); } |
catch(GeneralSecurityException _) { _.printStackTrace(); w.write("<p> error X"); } |
253 |
} |
} |