/** The file containing user information (public key, permissions). */
static char *user_list_file = NULL;
static int mmd_shm_id;
/** The file containing user information (public key, permissions). */
static char *user_list_file = NULL;
static int mmd_shm_id;
close(afs_server_socket[0]);
afs_init(afs_socket_cookie, afs_server_socket[1]);
}
close(afs_server_socket[0]);
afs_init(afs_socket_cookie, afs_server_socket[1]);
}