Summary: | compile error in R3_0_maintenance branch of org.eclipse.wst.jsdt.ui | ||
---|---|---|---|
Product: | [WebTools] JSDT | Reporter: | David Williams <david_williams> |
Component: | General | Assignee: | Phil Berkland <berkland> |
Status: | RESOLVED FIXED | QA Contact: | Phil Berkland <berkland> |
Severity: | normal | ||
Priority: | P1 | CC: | thatnitind |
Version: | 3.1 | ||
Target Milestone: | 3.0.4 | ||
Hardware: | PC | ||
OS: | Windows XP | ||
Whiteboard: |
Description
David Williams
2008-11-19 09:49:11 EST
I'm marking as "P1" since this shouldn't be fixed quickly, before anyone forgets what it is about. Should something be reverted? Or should the manifest be changed to specify a BREE 1.5 and then the change propagated to HEAD? (BTW, normally you wouldn't want to change the BREE is a maintenance release, unless there's no alternative ... it is basically an API change). Just a glitch with the Execution Environment setup, I think. The form of isWhitespace(int) is present in 1.5 and higher while isWhitespace(char) is in 1.1 and higher. Checked in fix (to cast to char). I still see the exact same error in the R3_0_maintenance branch. Could you have checked something in to head? You're certain everything's set up correctly in your environment, David? I'm *not* seeing the error any more. Yeah, it looks fine now ... I think cvs was broken so I was not synching up like I thought I was. Thanks, |