Applied renaming from write_ to put_

2011-12-15 19:34:20 +01:00
parent 32373addfa
commit 7207a021be
7 changed files with 24 additions and 24 deletions
@@ -57,7 +57,7 @@ feature -- Execution
 	execute_rescue (req: WSF_REQUEST; res: WSF_RESPONSE)
 		do
 			if not res.header_committed then
-				res.write_header ({HTTP_STATUS_CODE}.internal_server_error, Void)
+				res.put_header ({HTTP_STATUS_CODE}.internal_server_error, Void)
 			end
 			res.flush
 		end