jocelyn 885195dbaa Added WSF_RESPONSE.put_file_content (f: FILE, a_offset: INTEGER; a_count: INTEGER) to allow potential future optimization.

2016-10-24 12:47:33 +02:00

..

wgi_filter_response.e

Added WSF_RESPONSE.put_file_content (f: FILE, a_offset: INTEGER; a_count: INTEGER) to allow potential future optimization.

2016-10-24 12:47:33 +02:00

wgi_logger_response.e

…

wgi_response.e

Added WSF_RESPONSE.put_file_content (f: FILE, a_offset: INTEGER; a_count: INTEGER) to allow potential future optimization.

2016-10-24 12:47:33 +02:00