Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 163982

Summary: Problems with large log support on Linux
Product: z_Archived Reporter: amehrega
Component: TPTPAssignee: Alex Nan <apnan>
Status: CLOSED FIXED QA Contact:
Severity: major    
Priority: P1 CC: ewchan
Version: unspecifiedKeywords: plan
Target Milestone: ---   
Hardware: PC   
OS: Windows XP   
Whiteboard: closed460

Description amehrega CLA 2006-11-09 12:06:19 EST
When a database is generated using the TPTP script files, the database name is set to "HYADES".  The connection to the database on Linux will fail because it is actually looking for a database with the name "Hyades".

The workaround is to simply rename the folder name from "HYADES" to "Hyades".  The same problem is not experienced on Windows because of not being case sensitive.
Comment 1 Eugene Chan CLA 2006-11-09 12:10:26 EST
Target to 4.4. as it's not blocking with workaround.
We need to readme this for 4.3.
Comment 2 Alex Nan CLA 2007-03-16 09:59:02 EDT
Fixed.
Comment 3 Paul Slauenwhite CLA 2009-06-30 13:19:09 EDT
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this enhancement/defect has been resolved and unverified for more than 1 year and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.