diff options
| author | Hans Bolinder <hasse@erlang.org> | 2018-05-28 13:11:51 +0200 |
|---|---|---|
| committer | Hans Bolinder <hasse@erlang.org> | 2018-05-28 15:26:49 +0200 |
| commit | 3ac7567e7565df4bcba589052e524aaa74d21c1c (patch) | |
| tree | ec0fec062fb1eb4bea983d2263c1507f247c87ba /lib/kernel/src/file_server.erl | |
| parent | e6f3aa45b9b53c4bc6b6bb2477177dae9fd6f810 (diff) | |
| download | erlang-3ac7567e7565df4bcba589052e524aaa74d21c1c.tar.gz | |
kernel: Improve contracts
Diffstat (limited to 'lib/kernel/src/file_server.erl')
| -rw-r--r-- | lib/kernel/src/file_server.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/kernel/src/file_server.erl b/lib/kernel/src/file_server.erl index ecc1ffbdd6..29eaa23375 100644 --- a/lib/kernel/src/file_server.erl +++ b/lib/kernel/src/file_server.erl @@ -1,7 +1,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2000-2017. All Rights Reserved. +%% Copyright Ericsson AB 2000-2018. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -73,7 +73,7 @@ stop() -> %% {stop, Reason} %%---------------------------------------------------------------------- --spec init([]) -> {'ok', state()} | {'stop', term()}. +-spec init([]) -> {'ok', state()}. init([]) -> process_flag(trap_exit, true), @@ -225,7 +225,7 @@ handle_cast(Msg, State) -> %%---------------------------------------------------------------------- -spec handle_info(term(), state()) -> - {'noreply', state()} | {'stop', 'normal', state()}. + {'noreply', state()}. handle_info({'EXIT', Pid, _Reason}, State) when is_pid(Pid) -> ets:delete(?FILE_IO_SERVER_TABLE, Pid), |