TPTP ran fine for first time but getting a time-out [message #481843] |
Mon, 24 August 2009 10:18  |
Eclipse User |
|
|
|
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)
|
|
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.07225 seconds