Attachment #80346 for bug #197297

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

Lines 113-118 Link Here

(-)src/org/eclipse/tptp/platform/execution/client/core/IProcess.java (+6 lines)
113	* Retrieves the console of this Process instance.	113	* Retrieves the console of this Process instance.
114	*/	114	*/
115	public IConsole getConsole();	115	public IConsole getConsole();
		116
		117	/**
		118	* Configures console of this Process instance.
		119	*/
		120	public void configureConsole();
		121
116	/**	122	/**
117	* Set an environment variable to this process.	123	* Set an environment variable to this process.
118	*/	124	*/




	{
		 try
		 {
		 	configureConsole();
		 	{ 
		 		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();
		 }
	}

	public void configureConsole() {
		if(this.getConsole() == null)
		{ 
			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);	
		}
	}
	//To Do 
	public void handleCommand(ICommandElement command) 
	{

Return to bug 197297

Lines 555-571 Link Here

(-)src/org/eclipse/tptp/platform/execution/client/core/internal/ProcessImpl.java (-11 / +15 lines)
555	{	555	{
556	try	556	try
557	{	557	{
558	if(this.getConsole() == null)	558	configureConsole();
559	{
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		559
570	//Get the PC destID	560	//Get the PC destID
571	this._destID = getDestID();	561	this._destID = getDestID();
Lines 602-607 Link Here
602	e.printStackTrace();	592	e.printStackTrace();
603	}	593	}
604	}	594	}
		595
		596	public void configureConsole() {
		597	if(this.getConsole() == null)
		598	{
		599	this._console = new ConsoleImpl();
		600	this._console.setAC(this._ac);
		601	this._console.setTPTPAC(true);
		602	}
		603	if(this._console.getAC() == null)
		604	{
		605	this._console.setAC(this._ac);
		606	this._console.setTPTPAC(true);
		607	}
		608	}
605	//To Do	609	//To Do
606	public void handleCommand(ICommandElement command)	610	public void handleCommand(ICommandElement command)
607	{	611	{