diff options
| author | Dan Gudmundsson <[email protected]> | 2011-03-07 14:43:32 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2011-03-07 14:43:43 +0100 |
| commit | f85c79166c0fcf39eaab62e39f392aa7ce83c9bf (patch) | |
| tree | b788b0986f13c700a380f325fecd5a08550dcc01 /lib/mnesia/src/mnesia.erl | |
| parent | 422c3eda25ce9cb67a815aac5b0254432b0d44f7 (diff) | |
| parent | 728d949df2ce88587371d353b4379e3d349b0066 (diff) | |
| download | otp-f85c79166c0fcf39eaab62e39f392aa7ce83c9bf.tar.gz otp-f85c79166c0fcf39eaab62e39f392aa7ce83c9bf.tar.bz2 otp-f85c79166c0fcf39eaab62e39f392aa7ce83c9bf.zip | |
Merge branch 'dgud/dialyzer-fixes' into dev
OTP-9107
Diffstat (limited to 'lib/mnesia/src/mnesia.erl')
| -rw-r--r-- | lib/mnesia/src/mnesia.erl | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/mnesia/src/mnesia.erl b/lib/mnesia/src/mnesia.erl index fb29007780..025b32f506 100644 --- a/lib/mnesia/src/mnesia.erl +++ b/lib/mnesia/src/mnesia.erl @@ -1,7 +1,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 1996-2010. All Rights Reserved. +%% Copyright Ericsson AB 1996-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 @@ -302,7 +302,7 @@ ms() -> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Activity mgt --spec(abort/1 :: (_) -> no_return()). +-spec abort(_) -> no_return(). abort(Reason) -> exit({aborted, Reason}). @@ -1835,6 +1835,7 @@ do_dirty_rpc(Tab, Node, M, F, Args) -> %% Info %% Info about one table +-spec table_info(atom(), any()) -> any(). table_info(Tab, Item) -> case get(mnesia_activity_state) of undefined -> @@ -1868,7 +1869,7 @@ any_table_info(Tab, Item) when is_atom(Tab) -> type -> case ?catch_val({Tab, setorbag}) of {'EXIT', _} -> - bad_info_reply(Tab, Item); + abort({no_exists, Tab, Item}); Val -> Val end; @@ -1886,7 +1887,7 @@ any_table_info(Tab, Item) when is_atom(Tab) -> _ -> case ?catch_val({Tab, Item}) of {'EXIT', _} -> - bad_info_reply(Tab, Item); + abort({no_exists, Tab, Item}); Val -> Val end |