/**
* 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;
}
