diff options
| author | Dan Gudmundsson <[email protected]> | 2011-02-23 14:30:27 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2011-03-02 08:16:18 +0100 |
| commit | 9b3fd5946a4689f7403e1910ebe9e4a713710df7 (patch) | |
| tree | 634ff3541c607cc637f852b20a8b47560e46eb61 /lib/mnesia/src/mnesia_tm.erl | |
| parent | cd7fc2cb900dcd296f2ba215dea1c691440107d0 (diff) | |
| download | otp-9b3fd5946a4689f7403e1910ebe9e4a713710df7.tar.gz otp-9b3fd5946a4689f7403e1910ebe9e4a713710df7.tar.bz2 otp-9b3fd5946a4689f7403e1910ebe9e4a713710df7.zip | |
Mnesia dialyzer fixes
With help from Kostis
Diffstat (limited to 'lib/mnesia/src/mnesia_tm.erl')
| -rw-r--r-- | lib/mnesia/src/mnesia_tm.erl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/mnesia/src/mnesia_tm.erl b/lib/mnesia/src/mnesia_tm.erl index f3ffac5493..bb8e788b40 100644 --- a/lib/mnesia/src/mnesia_tm.erl +++ b/lib/mnesia/src/mnesia_tm.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 @@ -1604,6 +1604,7 @@ tell_participants([Pid | Pids], Msg) -> tell_participants([], _Msg) -> ok. +-spec commit_participant(_, _, _, _, _) -> no_return(). %% Trap exit because we can get a shutdown from application manager commit_participant(Coord, Tid, Bin, DiscNs, RamNs) when is_binary(Bin) -> process_flag(trap_exit, true), @@ -2279,6 +2280,7 @@ fixtable(Tab, Lock, Me) -> system_continue(_Parent, _Debug, State) -> doit_loop(State). +-spec system_terminate(_, _, _, _) -> no_return(). system_terminate(_Reason, _Parent, _Debug, State) -> do_stop(State). |