Fixed feature comments
This commit is contained in:
@@ -47,7 +47,7 @@ feature {NONE} -- Implementation
|
|||||||
-- Origin WSF response
|
-- Origin WSF response
|
||||||
|
|
||||||
commit
|
commit
|
||||||
-- <Precursor/>
|
-- Send the delayed header is not yet done.
|
||||||
do
|
do
|
||||||
if not header_committed then
|
if not header_committed then
|
||||||
process_header
|
process_header
|
||||||
@@ -56,7 +56,7 @@ feature {NONE} -- Implementation
|
|||||||
end
|
end
|
||||||
|
|
||||||
process_header
|
process_header
|
||||||
-- <Precursor/>
|
-- Process the delayed header, i.e send it to the client.
|
||||||
require
|
require
|
||||||
header_not_committed: not header_committed
|
header_not_committed: not header_committed
|
||||||
do
|
do
|
||||||
|
|||||||
Reference in New Issue
Block a user