server_list* Library::find_server ( int  id  )  [private]

server_list * find_server(int id): funzione privata che restituisce il server contenente il blocco identificato da id.

La funzione scorre la lista di server, contestualmente scorre la lista di blocchi appesi al server e restiuisce il puntatore al server che contiene il blocco che ha id come identificativo. Restituisce NULL se il server non รจ presente in lista.


Generato il Fri Feb 4 17:36:40 2011 per DistributedMemory da  doxygen 1.5.8