diff options
| author | Niclas Eklund <[email protected]> | 2011-02-10 16:18:50 +0100 |
|---|---|---|
| committer | Niclas Eklund <[email protected]> | 2011-02-10 16:18:50 +0100 |
| commit | 59bb06a90248defb4c0be98f10afae88c2251fe7 (patch) | |
| tree | 5cc2b0b25becec926f9d3981579b8038b95cbcec /lib/orber/src | |
| parent | 06ff115c291c4bb07a728bbeb72f67822e9d4b80 (diff) | |
| download | otp-59bb06a90248defb4c0be98f10afae88c2251fe7.tar.gz otp-59bb06a90248defb4c0be98f10afae88c2251fe7.tar.bz2 otp-59bb06a90248defb4c0be98f10afae88c2251fe7.zip | |
Eliminated Dialyzer warnings when using exit or throw.
Diffstat (limited to 'lib/orber/src')
| -rw-r--r-- | lib/orber/src/orber.app.src | 2 | ||||
| -rw-r--r-- | lib/orber/src/orber.erl | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/lib/orber/src/orber.app.src b/lib/orber/src/orber.app.src index fe911d65a4..88df4162b6 100644 --- a/lib/orber/src/orber.app.src +++ b/lib/orber/src/orber.app.src @@ -101,7 +101,7 @@ orber_iiop_insup, orber_init, orber_reqno, orber_objkeyserver, orber_iiop_socketsup, orber_iiop_pm, orber_env]}, - {applications, [stdlib, kernel]}, + {applications, [stdlib, kernel, mnesia]}, {env, []}, {mod, {orber, []}} ]}. diff --git a/lib/orber/src/orber.erl b/lib/orber/src/orber.erl index c3d37ad1fb..9902306161 100644 --- a/lib/orber/src/orber.erl +++ b/lib/orber/src/orber.erl @@ -2,7 +2,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 @@ -1029,6 +1029,8 @@ remove_node(Node) when is_atom(Node) -> remove_tables(Tables, Node) -> remove_tables(Tables, Node, []). +%% To avoid dialyzer warnings due to the use of exit/throw. +-spec(remove_tables/3 :: (_, _, _) -> no_return()). remove_tables([], _, []) -> ok; remove_tables([], Node, Failed) -> ?EFORMAT("orber:remove_node(~p) failed. Unable to remove table(s): ~p", |