anchor.diff:  -export([code_change/3]).
   
   -record(state, {
  -          id = undefined,
             uid = undefined,
             uidNumber = undefined,
             gidNumber = undefined,
             homeDirectory = undefined,
  +          user_ids = [],
             credentials = [],
             sessions = []
   }).
   
   %% API.
   
  --spec start_link(UserId :: any()) -> {ok, pid()}.
  -start_link(UserId) ->
  -	gen_server:start_link(?MODULE, [UserId], []).
  +-spec start_link() -> {ok, pid()}.
  +start_link() ->
  +	gen_server:start_link(?MODULE, [], []).
   
   -spec set_user_info(UserInfo :: map(), Pid :: pid()) -> ok.
   set_user_info(Info, Pid) ->
  
positive.code: -include("tts.hrl").
  
  %% API.
  -export([start_link/1]).
  -export([set_user_info/2]).
  -export([get_user_info/1]).
  -export([get_credential_list/1]).
  
negative.code: handle_info({'DOWN', MonitorRef, process, _Object, _Info}, #state{sessions=Sessions}=State) ->
      NewSessions = remove_session_from_list(MonitorRef,Sessions),
      shutdown_if_done(NewSessions,State);
  handle_info(timeout, State) ->
      ok = tts_user_mgr:user_wants_to_shutdown(self()),
      {noreply,State,5000};
  handle_info(_Info, State) ->
  	{noreply, State}.
  