|Re: problems running in standard mode. [message #136571 is a reply to message #136547]
||Wed, 01 October 2008 10:31
| Paul Slauenwhite
Registered: July 2009
Yes, I was referring to the local_deployment in the launch
configuration. There is no need to install/configure the Agent Controller,
since the Integrated Agent Controller is used.
Are you using TPTP 4.5.0?
It appears that your TPTP installation is not correct. Can you try
reinstalling TPTP and the AGR, and restart Eclipse with the -clean flag? If
this step does not resolve your issue, please attach your project.
"matt murphy" <firstname.lastname@example.org> wrote in message
> Hi Paul,
> thanks for the reply. If by local host you mean local_deployment in the
> configuration, yes it is. Is there another place that local needs
> Do I need to add the agent controller to the path?
> "Paul Slauenwhite" <email@example.com> wrote in message
>> Hi Matt,
>> You do not need the Agent Controller if you are running local. There
>> is an Integrated Agent Controller packaged as a set of Eclipse plug-ins
>> in TPTP. Is your location pointing to the local host? Can you attach
>> your project (zipped)?
>> "matt murphy" <firstname.lastname@example.org> wrote in message
>>> I'm having problems running the example
>>> http://www.eclipse.org/tptp/test/documents/userguides/Intro- Auto-GUI-4-5-0.html#2.2.3
>>> When i get to this step I experience the following error after the
>>> testbench is launched to run the test? Any ideas? Do I need to start and
>>> agent controller? The document mentions that i should not have to if
>>> I'm running local. I'm able to run the quick mode without a problem.
Powered by FUDForum
. Page generated in 0.03187 seconds