equal
deleted
inserted
replaced
137 try { |
137 try { |
138 serverOutput = new PrintStream(new BufferedOutputStream( |
138 serverOutput = new PrintStream(new BufferedOutputStream( |
139 serverSocket.getOutputStream()), |
139 serverSocket.getOutputStream()), |
140 true, encoding); |
140 true, encoding); |
141 } catch (UnsupportedEncodingException e) { |
141 } catch (UnsupportedEncodingException e) { |
142 throw new InternalError(encoding +"encoding not found"); |
142 throw new InternalError(encoding +"encoding not found", e); |
143 } |
143 } |
144 serverInput = new BufferedInputStream(serverSocket.getInputStream()); |
144 serverInput = new BufferedInputStream(serverSocket.getInputStream()); |
145 } |
145 } |
146 |
146 |
147 /** |
147 /** |