Update read_trailer feature.
This commit is contained in:
@@ -124,6 +124,7 @@ feature {NONE} -- Parser
|
|||||||
|
|
||||||
read_trailer
|
read_trailer
|
||||||
do
|
do
|
||||||
|
if not input.end_of_input then
|
||||||
print (" Reading trailer ")
|
print (" Reading trailer ")
|
||||||
from
|
from
|
||||||
input.read_character
|
input.read_character
|
||||||
@@ -136,6 +137,7 @@ feature {NONE} -- Parser
|
|||||||
-- read the LF
|
-- read the LF
|
||||||
input.read_character
|
input.read_character
|
||||||
end
|
end
|
||||||
|
end
|
||||||
feature {NONE} -- Access
|
feature {NONE} -- Access
|
||||||
|
|
||||||
input: WGI_INPUT_STREAM
|
input: WGI_INPUT_STREAM
|
||||||
|
|||||||
Reference in New Issue
Block a user