[erlang-patches] Optimize communication with file io server

[Anthony Ramine]

Amended again! Please refetch.

-- 
Anthony Ramine

Le 11 avr. 2013 à 14:20, Björn Gustavsson a écrit :

> Looks good except that the comment needs to
> be updated too:
> 
> diff --git a/lib/kernel/src/file.erl b/lib/kernel/src/file.erl
> index 7023340..3628905 100644
> --- a/lib/kernel/src/file.erl
> +++ b/lib/kernel/src/file.erl
> @@ -1488,7 +1488,7 @@ check_args([]) ->
>      ok.
>  
>  %%-----------------------------------------------------------------
> -%% Functions for communicating with a file io server.
> +%% Function for communicating with a file io server.
>  %% The messages sent have the following formats:
>  %%
>  %%     {file_request,From,ReplyAs,Request}