CingI v0.1.2 Cingi.Headquarters View Source

Headquarters manage all the branches within the cluster and assign mission to branches based on capacity. There should only be one Headquarters at each cluster. If a branch is started without a Headquarters, and doesn’t intend to connect to an existing cluster, a Headquarters should be created for it.

Link to this section Summary

Link to this section Functions

Link to this function finished_mission(pid, mission_pid, result, branch_pid) View Source
Link to this function get_all_branches(hq, get_running_only \\ true) View Source
Link to this function queue_mission(pid, mission_pid) View Source