diff options
| author | Kostis Sagonas <[email protected]> | 2011-03-06 12:39:27 +0200 |
|---|---|---|
| committer | Niclas Axelsson <[email protected]> | 2011-03-11 12:06:16 +0100 |
| commit | 1dbdec773861869b8b3b0c8bb5ccb92bf6cc84c5 (patch) | |
| tree | df0fa856ac43dcd3ccbd71c8beec22cad99196cc /lib/kernel | |
| parent | d5207056347fc49eea58b26f88636603230d3175 (diff) | |
| download | otp-1dbdec773861869b8b3b0c8bb5ccb92bf6cc84c5.tar.gz otp-1dbdec773861869b8b3b0c8bb5ccb92bf6cc84c5.tar.bz2 otp-1dbdec773861869b8b3b0c8bb5ccb92bf6cc84c5.zip | |
Add spec for function that does not return
Diffstat (limited to 'lib/kernel')
| -rw-r--r-- | lib/kernel/src/disk_log_1.erl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/kernel/src/disk_log_1.erl b/lib/kernel/src/disk_log_1.erl index 8ccdb88d12..266df84a03 100644 --- a/lib/kernel/src/disk_log_1.erl +++ b/lib/kernel/src/disk_log_1.erl @@ -1,7 +1,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 1997-2010. All Rights Reserved. +%% Copyright Ericsson AB 1997-2011. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -581,11 +581,13 @@ done_scan(In, Out, OutName, FName, RecoveredTerms, BadChars) -> file:delete(OutName), throw(Error) end. - + +-spec repair_err(file:io_device(), #cache{}, file:filename(), + file:filename(), {'error', file:posix()}) -> no_return(). repair_err(In, Out, OutName, ErrFileName, Error) -> file:close(In), catch fclose(Out, OutName), - % OutName is often the culprit, try to remove it anyway... + %% OutName is often the culprit, try to remove it anyway... file:delete(OutName), file_error(ErrFileName, Error). |