var searchData=
[
  ['workerid',['workerID',['../class_server.html#ae10d91b60157ccfcc06cc463e8443007',1,'Server']]]
];