equal
deleted
inserted
replaced
393 } |
393 } |
394 serverOutput = new PrintStream( |
394 serverOutput = new PrintStream( |
395 new BufferedOutputStream(out), |
395 new BufferedOutputStream(out), |
396 false, encoding); |
396 false, encoding); |
397 } catch (UnsupportedEncodingException e) { |
397 } catch (UnsupportedEncodingException e) { |
398 throw new InternalError(encoding+" encoding not found"); |
398 throw new InternalError(encoding+" encoding not found", e); |
399 } |
399 } |
400 serverSocket.setTcpNoDelay(true); |
400 serverSocket.setTcpNoDelay(true); |
401 } |
401 } |
402 |
402 |
403 /* |
403 /* |