Community
Participate
Working Groups
The source for ACTCPDataServer.java in the org.eclipse.tptp.platform.execution package is a bit of a mess. This bug has been opened for cleanup.
Created attachment 182100 [details] Patch to ACTCPDataServer
Comment on attachment 182100 [details] Patch to ACTCPDataServer Patch is the result of running ACTCPDataServer.java through the Eclipse code formatter with line wrap disabled.
Patch checked into HEAD
Previous patch reverted due to odd comment wrapping.
Created attachment 182101 [details] Patch to ACTCPDataServer - 2 Eclipse code formatter run on source with both comment and line wrapping disabled (and some minor tweaks where these don't make sense).
Created attachment 182931 [details] Patch to ACTCPDataServer - 3
Patch 3 checked into HEAD.
Closing.
This defect had been resolved as FIXED for more than 1 month. Please verify with the latest TPTP 4.7.2 driver. If this defect is still left unverified by February 25, we'll close it on the originator's behalf. TPTP 4.7.2 driver can be downloaded from: http://www.eclipse.org/tptp/home/downloads/?ver=4.7.2