comparison src/samer/core_/Shell.java @ 1:5df24c91468d

Oh my what a mess.

 
 class DefaultShell implements Shell.Interface
 {
 	private PrintWriter writer=null;
 	private PrintWriter stdout=new PrintWriter(System.out,true); // with autoflush
-	private PrintWriter stderr=new PrintWriter(System.err); // without autoflush
+	private PrintWriter stderr=new PrintWriter(System.err,true); // with autoflush
 
 	//	DefaultShell() { trace("creating DefaultShell"); }
 
 	// Different types of message
 	public void print(String string) { stdout.println(string); }