Le comportement de ces fonctions est affecté par la configuration dans le fichier php.ini.
La sauvegarde d'identifiant de session de PostgreSQL est toujours en développement. Référez-vous au fichier README dans la distribution de source pour les détails de la configuration.