From 47e028de2a7ed14b391e1712cc2fcbcf8a6c7df7 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Wed, 10 Apr 2013 09:42:09 +0200
Subject: [PATCH] Fixed feature comments

---
 .../wsf/src/implementation/wsf_wgi_delayed_header_response.e  | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/library/server/wsf/src/implementation/wsf_wgi_delayed_header_response.e b/library/server/wsf/src/implementation/wsf_wgi_delayed_header_response.e
index 9cf7177c..1b65b8f7 100644
--- a/library/server/wsf/src/implementation/wsf_wgi_delayed_header_response.e
+++ b/library/server/wsf/src/implementation/wsf_wgi_delayed_header_response.e
@@ -47,7 +47,7 @@ feature {NONE} -- Implementation
 			-- Origin WSF response
 
 	commit
-			-- <Precursor/>
+			-- Send the delayed header is not yet done.
 		do
 			if not header_committed then
 				process_header
@@ -56,7 +56,7 @@ feature {NONE} -- Implementation
 		end
 
 	process_header
-			-- <Precursor/>	
+			-- Process the delayed header, i.e send it to the client.
 		require
 			header_not_committed: not header_committed
 		do