| 471 | } |
| 472 | |
| 473 | private void sendFile(String target, HttpServletResponse response) throws IOException { |
| 474 | Reader r = new FileReader(target); |
| 475 | char[] buf = new char[1024 * 128]; |
| 476 | int n = r.read(buf); |
| 477 | if (n > 0) { |
| 478 | response.getWriter().print(new String(buf, 0, n)); |
| 479 | } |
| 480 | // NOTE: We flush here to force chunked encoding |
| 481 | response.getWriter().flush(); |
| 482 | r.close(); |
| 483 | } |
| 484 | |
| 485 | private void sendFile(File file, Range range, HttpServletResponse response) throws IOException { |
| 486 | long size = range.end - range.start + 1; |