anchor.diff:      gen_server:start_link({local, ?SERVER}, ?MODULE, Args, []).
   
   stop() ->
  -    gen_server:cast({local, ?SERVER}, stop).
  +    gen_server:cast(?MODULE, stop).
   
   
   -spec get_user_permissions(binary()) -> user_not_found | {ok, [binary()]}.
  
positive.code: 
  %% Records used as table entries
  
  %% r_id - repo identifier
  %% path - the path of the repository
  -record(repo, {r_id :: binary(), path :: binary()}).
  
  %% u_id - user identifier
  %% r_ids - identifiers of repos to which user can make changes
  
negative.code: %% @end
  %%--------------------------------------------------------------------
  init({RepoList, ACL, MnesiaSchema}) ->
      mnesia:create_table(repo, [{MnesiaSchema, [node() | nodes()]}
                                ,{type, set}
                                ,{attributes, record_info(fields, repo)}]),
  