equal
deleted
inserted
replaced
322 ps.print("</dl></body>\n"); |
322 ps.print("</dl></body>\n"); |
323 ps.close(); |
323 ps.close(); |
324 } |
324 } |
325 |
325 |
326 } catch (UnsupportedEncodingException e) { |
326 } catch (UnsupportedEncodingException e) { |
327 throw new InternalError(encoding+ " encoding not found"); |
327 throw new InternalError(encoding+ " encoding not found", e); |
328 } catch (IOException e) { |
328 } catch (IOException e) { |
329 } finally { |
329 } finally { |
330 try { |
330 try { |
331 closeServer(); |
331 closeServer(); |
332 os.close(); |
332 os.close(); |