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

Bug 326426

Summary:

Update SetConfig help and examples

Product:

z_Archived

Reporter:

Joel Cayne <jcayne>

Component:

TPTP

Assignee:

Joel Cayne <jcayne>

Status:

CLOSED FIXED

QA Contact:

Kathy Chan <kathy>

Severity:

normal

Priority:

CC:

jgwest

Version:

unspecified

Target Milestone:

---

Hardware:

All

OS:

All

Whiteboard:

Attachments:

Description	Flags
Patch to update help and example information	none
Patch for plug-in examples	none

Description Joel Cayne

2010-09-28 10:58:35 EDT

The command line options that can be used with SetConfig do not match the values listed in the Help or Examples.

Comment 1 Joel Cayne

2010-09-28 11:03:06 EDT

Created attachment 179756 [details]
Patch to update help and example information

Comment 2 Joel Cayne

2010-09-28 17:04:23 EDT

Created attachment 179791 [details]
Patch for plug-in examples

Fixes a Null Pointer Exception for finding other plug-ins contributing examples.

Comment 3 Joel Cayne

2010-11-08 09:27:43 EST

Patches checked into HEAD.

Comment 4 Joel Cayne

2010-11-19 09:12:15 EST

Verified the Help was updated to include "Type", "UserType", and "UserList" using SetConfig -h on TPTP-4.7.2-201011182147.