var searchData=
[
  ['quit_5fuser',['quit_user',['../namespace_server.html#af73d203b1f93b0f4014456fb52c7626a',1,'Server']]]
];