aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2011-03-06 12:39:27 +0200
committerNiclas Axelsson <[email protected]>2011-03-11 12:06:16 +0100
commit1dbdec773861869b8b3b0c8bb5ccb92bf6cc84c5 (patch)
treedf0fa856ac43dcd3ccbd71c8beec22cad99196cc
parentd5207056347fc49eea58b26f88636603230d3175 (diff)
downloadotp-1dbdec773861869b8b3b0c8bb5ccb92bf6cc84c5.tar.gz
otp-1dbdec773861869b8b3b0c8bb5ccb92bf6cc84c5.tar.bz2
otp-1dbdec773861869b8b3b0c8bb5ccb92bf6cc84c5.zip
Add spec for function that does not return
-rw-r--r--lib/kernel/src/disk_log_1.erl8
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).