Die Datei settings.properties konfiguriert Standardeinstellungen Ihres Performance Dashboard. Sie hat folgenden Inhalt:
passwordTokenValidTime=140
sessionPingTime=120
connectionGCTimeout=300
urlCharSetConversion=TRUE
defaultLocale=en
Die folgende Übersicht beschreibt die Schlüssel und ihre Bedeutung. Alle Zeitangaben werden in der Einheit Sekunden angegeben.
Schlüssel |
Beschreibung |
passwordTokenValidTime |
Gültigkeitsdauer des Kennwort-Token |
sessionPingTime |
Zeitabstand, in den der Web-Applikations- server angepingt wird. Dadurch wird ein Ablaufen der Session verhindert, wenn Dashboards längere Zeit im Dashboard Builder bearbeitet werden. |
connectionGCTimeout |
Zeit, nach deren Ablauf eine nicht mehr benötigte Verbindung aus der Laufzeitum-gebung des Web-Applikationsserver entfernt wird |
urlCharSetConversion |
Konstanter Wert true. Sollte nicht geändert werden. |
defaultLocale |
Sprache der Dashboard-Startseite |
Wenn die mit Schlüssel defaultLocale angegebene Sprache nicht in der Definitionsdatei des aufgerufenen Dashboard vorhanden ist, wird die Sprache verwendet, die im ersten Description-Element der entsprechenden Dashboard-Definition (XML-Element pcdefinition der _def-Datei) gefunden wird.