/** * contrairement aux autres serveurs, on ne conserve pas les informations du catalogue (via la structure de donnée "ServerInfos"). * ce choix a été fait car l'hypothèse de départ est que tout le monde connaît le catalogue. * ce serait redondant que d'envoyer les informations du catalogue via un getinfos au client qui connaît déjà le catalogue. */ public Catalogue() { InitializeComponent(); config = new Configuration(new setCatalogueInfo(setCataloguePortAndAdress)); port_catalogue = port_catalogue_default; }
/** * contrairement aux autres serveurs, on ne conserve pas les informations du catalogue (via la structure de donnée "ServerInfos"). * ce choix a été fait car l'hypothèse de départ est que tout le monde connaît le catalogue. * ce serait redondant que d'envoyer les informations du catalogue via un getinfos au client qui connaît déjà le catalogue. */ public Catalogue() { InitializeComponent(); config = new Configuration(new setCatalogueInfo(setCataloguePortAndAdress)); port_catalogue = port_catalogue_default; }