-/** @brief Remember a player's PID */
-static void store_player_pid(const char *id, pid_t pid) {
- if(!player_pids) player_pids = hash_new(sizeof (pid_t));
- hash_add(player_pids, id, &pid, HASH_INSERT_OR_REPLACE);
-}
-
-/** @brief Find a player's PID */
-static pid_t find_player_pid(const char *id) {
- pid_t *pidp;
-
- if(player_pids && (pidp = hash_find(player_pids, id))) return *pidp;
- return -1;
-}
-
-/** @brief Discard a player's ID->PID mappin
- *
- * Used when the player terminates.
- */
-static void forget_player_pid(const char *id) {
- if(player_pids) hash_remove(player_pids, id);
-}
-