| changeset 31506 | 4e07f827a794 |
| parent 27579 | d1a63c99cdd5 |
| child 31755 | c6a3df5917fd |
| 31505:98c52b994430 | 31506:4e07f827a794 |
|---|---|
752 @Override |
752 @Override |
753 public void run() { |
753 public void run() { |
754 try { |
754 try { |
755 String line; |
755 String line; |
756 while ((line = in.readLine()) != null) { |
756 while ((line = in.readLine()) != null) { |
757 out.append(line).append("\n"); |
757 out.append(line).append(lineSeparator); |
758 } |
758 } |
759 } catch (IOException e) { |
759 } catch (IOException e) { |
760 } |
760 } |
761 synchronized (this) { |
761 synchronized (this) { |
762 done = true; |
762 done = true; |