Bug #745
Readline: avoid printing out READLINE twice
Status:
Closed
Priority:
Low
Assignee:
Category:
External Libs
Target version:
Description
When C5 starts it prints out a list of ext libs being used; READLINE
appears twice.
Related issues
History
#1 Updated by John Abbott over 8 years ago
- Status changed from New to Resolved
- Assignee set to John Abbott
- Target version changed from CoCoA-5.?.? to CoCoA-5.1.2 summer 2015
- % Done changed from 0 to 80
JAA corrected a bug in ExtLibNames
(in file Banner.C
). The problem was trailing whitespace which caused the EOF test to "wrongly" report not-at-EOF, then the subsequent read operation failed (because whitespace is skipped immediately prior to reading a value), but this was not tested.
JAA thinks it is cleaner to explicitly skip the whitespace, rather than attempt to read and then check whether the attempt succeeded or failed.
#2 Updated by John Abbott over 8 years ago
- Status changed from Resolved to Closed
- % Done changed from 80 to 100
Activated the line making ExtLibNames
correct even when input contains only whitespace chars.
Works fine both with text CoCoA-5 and GUI, so closing.