| A time-out occurred whiel attempting to launch the process [message #128501] |
Tue, 15 April 2008 15:26  |
Eclipse User |
|
|
|
Originally posted by: biscio81.tiscali.it
hi,
i'm using the tptp plug-in. in specific i'm using probekit.
I need to use meny file probe and when i launch a main class and select meny
file probe in monitor label, it returns this error:
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:123)
at
org.eclipse.tptp.trace.ui.internal.launcher.core.LauncherUti lity.createCoreException(LauncherUtility.java:131)
at
org.eclipse.tptp.platform.jvmti.client.internal.launcher.TID elegateHelper.handleError(TIDelegateHelper.java:596)
at
org.eclipse.tptp.platform.jvmti.client.internal.launcher.TID elegateHelper.launchProcess(TIDelegateHelper.java:512)
at
org.eclipse.tptp.platform.jvmti.client.internal.launcher.TID elegateHelper.launch(TIDelegateHelper.java:312)
at
org.eclipse.tptp.platform.jvmti.client.internal.launcher.TIJ avaLauncherDelegate.launch(TIJavaLauncherDelegate.java:37)
at
org.eclipse.tptp.trace.ui.internal.launcher.core.LauncherUti lity.delegateInit(LauncherUtility.java:1153)
at
org.eclipse.tptp.trace.ui.provisional.launcher.PrimaryLaunch Delegate.run(PrimaryLaunchDelegate.java:196)
at java.lang.Thread.run(Unknown Source)
help me!!!
bye and thanks
|
|
|
| Re: A time-out occurred whiel attempting to launch the process [message #129720 is a reply to message #128501] |
Mon, 05 May 2008 12:57  |
| Eclipse User |
|
|
|
Originally posted by: mauro.molinari.cardinis.com
Marco ha scritto:
> hi,
> i'm using the tptp plug-in. in specific i'm using probekit.
> I need to use meny file probe and when i launch a main class and select meny
> file probe in monitor label, it returns this error:
> org.eclipse.core.runtime.CoreException
> A time-out occurred while attempting to launch the process
Which version of TPTP are you using?
There was such an issue with TPTP 4.4.0.x, solved in 4.4.1...
Mauro.
|
|
|
Powered by
FUDForum. Page generated in 0.03206 seconds
] 
Search
Help
Register
Login
Home
