fixed windows dist.sh, also tweaks for a few message i/o bugs

This commit is contained in:
benfry
2004-09-24 07:04:26 +00:00
parent 8d77bfccdf
commit 18fb9640ec
7 changed files with 80 additions and 77 deletions

View File

@@ -179,9 +179,6 @@ public class PdeEditorConsole extends JScrollPane {
}
*/
// to console display
appendText(what, err);
if (err) {
systemErr.print(what);
} else {
@@ -196,10 +193,14 @@ public class PdeEditorConsole extends JScrollPane {
systemOut.println();
}
}
// to console display
appendText(what, err);
// moved down here since something is punting
}
private void appendText(String text, boolean err) {
synchronized private void appendText(String text, boolean err) {
//if (true) return;
try {