Attachment #80353 for bug #197297

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.




	 */
	public IConsole getConsole() 
	{
		if (this._console == null) {
			this._console = new ConsoleImpl();
			this._console.setAC(this._ac);
			this._console.setTPTPAC(true);
		}

		return this._console;
	}


	{
		 try
		 {
			// Initialize the console 
		 	getConsole();
		 		this._console = new ConsoleImpl();
		 		this._console.setAC(this._ac);
		 		this._console.setTPTPAC(true);
		 	}
		 	if(this._console.getAC() == null)
		 	{
		 		this._console.setAC(this._ac);
		 		this._console.setTPTPAC(true);	
		 	}
		 	
			//Get the PC destID
		 	this._destID = getDestID();

			 e.printStackTrace();
		 }
	}

	//To Do 
	public void handleCommand(ICommandElement command) 
	{

Return to bug 197297

Lines 417-423 Link Here

(-)src/org/eclipse/tptp/platform/execution/client/core/internal/ProcessImpl.java (-12 / +9 lines)
417	*/	417	*/
418	public IConsole getConsole()	418	public IConsole getConsole()
419	{	419	{
420	if (this._console == null){this._console = new ConsoleImpl();}	420	if (this._console == null) {
		421	this._console = new ConsoleImpl();
		422	this._console.setAC(this._ac);
		423	this._console.setTPTPAC(true);
		424	}
		425
421	return this._console;	426	return this._console;
422	}	427	}
423		428
Lines 555-571 Link Here
555	{	560	{
556	try	561	try
557	{	562	{
558	if(this.getConsole() == null)	563	// Initialize the console
559	{	564	getConsole();
560	this._console = new ConsoleImpl();
561	this._console.setAC(this._ac);
562	this._console.setTPTPAC(true);
563	}
564	if(this._console.getAC() == null)
565	{
566	this._console.setAC(this._ac);
567	this._console.setTPTPAC(true);
568	}
569		565
570	//Get the PC destID	566	//Get the PC destID
571	this._destID = getDestID();	567	this._destID = getDestID();
Lines 602-607 Link Here
602	e.printStackTrace();	598	e.printStackTrace();
603	}	599	}
604	}	600	}
		601
605	//To Do	602	//To Do
606	public void handleCommand(ICommandElement command)	603	public void handleCommand(ICommandElement command)
607	{	604	{