[news.eclipse.tptp] Re: TPTP ran fine for first time but getting a time-

["Eugene Chan" <ewchan@xxxxxxxxxx>]

Hi Aravind,

Could you provide more information about how to reproduce the problem and 
which TPTP version are you using?

Eugene

"aravind" <aravind.yarram@xxxxxxxxxxx> wrote in message 
news:h6u7fs$sk8$1@xxxxxxxxxxxxxxxxxxxx
> org.eclipse.core.runtime.CoreException
> A time-out occurred while attempting to launch the process
>
> org.eclipse.core.runtime.CoreException: A time-out occurred while 
> attempting to launch the process
>  at  org.eclipse.tptp.trace.ui.internal.launcher.core.LauncherUti 
> lity.createCoreException(LauncherUtility.java:124)
>  at  org.eclipse.tptp.trace.ui.internal.launcher.core.LauncherUti 
> lity.createCoreException(LauncherUtility.java:132)
>  at  org.eclipse.tptp.platform.jvmti.client.internal.launcher.TID 
> elegateHelper.handleError(TIDelegateHelper.java:655)
>  at  org.eclipse.tptp.platform.jvmti.client.internal.launcher.TID 
> elegateHelper.launchProcess(TIDelegateHelper.java:571)
>  at  org.eclipse.tptp.platform.jvmti.client.internal.launcher.TID 
> elegateHelper.launch(TIDelegateHelper.java:348)
>  at  org.eclipse.tptp.platform.jvmti.client.internal.launcher.TIJ 
> UnitLauncherDelegate.launch(TIJUnitLauncherDelegate.java:33)
>  at  org.eclipse.tptp.trace.ui.internal.launcher.core.LauncherUti 
> lity.delegateInit(LauncherUtility.java:1164)
>  at  org.eclipse.tptp.trace.ui.provisional.launcher.PrimaryLaunch 
> Delegate.run(PrimaryLaunchDelegate.java:195)
>  at java.lang.Thread.run(Thread.java:619)
>