- val host : string (* host on which getter listens *)
- val my_own_url : string (* URL at which contact getter *)
- val servers : string list (* servers list (i.e. servers_file lines) *)
+ val host : string (* host on which getter listens *)
+ val my_own_url : string (* URL at which contact getter *)
+ val servers : string list ref (* servers list *)