2.3.2.5 Die INI-Datei des infra-Datenbankservers (infraServer.INI)
Die INI-Datei des infra-Datenbankservers infraServer.INI (bis infra 5.7.0.3: SIBPPS.INI) enthält die Konfigurationsdaten des Datenbankservers.
Änderungen in der *.ini, die allgemeine Konfiguration des Datenbankservers betreffend (in den Sektionen [GENERAL], [LOGGING], [PATH], [SIBDDGEN], [Communication] und [DataSources]), wirken erst bei Neustart des infra-Datenbankservers.
Änderungen in einer Sektion zu einem Datenbestand (z.B. [DS_ECHT], [DS_SPIEL]) werden dann gelesen, wenn sich der erste Benutzer wieder an diesem Datenbestand anmeldet, nachdem sich alle Benutzer an diesem Datenbestand abgemeldet haben.
Bei Änderungen, die Replikation betreffend, muss der Datenbankservers also nicht heruntergefahren werden, es müssen sich nur kurzzeitig alle Benutzer an diesem Datenbestand abgemeldet haben.
Die INI-Datei des infra-Datenbankservers SBASESQL.INI enthält die SQL Server-spezifischen Konfigurationsdaten des Datenbankservers.
