RaftEx.Directory (raft_ex v0.1.0)

View Source

Summary

Functions

cluster_name_of(system_or_names, uid)
init(system)
init(dir, map)
is_registered_uid(system_or_names, uid)
list_registered(system_or_names)
name_of(system_or_names, uid)
overview(system)
pid_of(system_or_names, uid)
register_name(system, uid, pid, parent_pid, server_name, cluster_name)
uid_of(system, server_name)
unregister_name(system, uid)
where_is(system, server_name)
where_is_parent(system, server_name)

Functions

cluster_name_of(system_or_names, uid)

init(system)

init(dir, map)

is_registered_uid(system_or_names, uid)

list_registered(system_or_names)

name_of(system_or_names, uid)

overview(system)

pid_of(system_or_names, uid)

register_name(system, uid, pid, parent_pid, server_name, cluster_name)

uid_of(system, server_name)

unregister_name(system, uid)

where_is(system, server_name)

where_is_parent(system, server_name)