add session config to php.ini and adapt the naming scheme for it

1 files changed, 19 insertions, 0 deletions

diff --git a/php.ini-dist b/php.ini-dist
index 4f0933dc5e..7bdbf602d1 100644
--- a/php.ini-dist
+++ b/php.ini-dist
@@ -241,3 +241,22 @@ ifx.blobinfile			=	0	; if set on, the contents of text&byte blobs are dumped to
 						; keeping them in memory
 ifx.nullformat			=	0	; NULL's are returned as empty strings, unless this is set to 1. In that case,
 						; NULL's are returned as string 'NULL'.
+
+[Session]
+session.save_handler = files        ; handler used to store/retrieve data
+session.save_path = /tmp            ; argument passed to save_handler
+                                    ; in the case of files, this is the
+                                    ; path where data files are stored
+session.name = PHPSESSID            ; name of the session
+                                    ; is used as cookie name
+session.auto_start = 0              ; initialize session on request startup
+session.lifetime = 0                ; lifetime in seconds of cookie
+                                    ; or if 0, until browser is restarted
+session.serialize_handler = php     ; handler used to serialize data
+                                    ; php is the standard serializer of PHP
+session.gc_probability = 1          ; procentual probability that the 
+                                    ; 'garbage collection' process is started
+                                    ; on every session initialization
+session.gc_maxlifetime = 1440       ; after this number of seconds, stored
+                                    ; data will be seen as 'garbage' and
+                                    ; cleaned up by the gc process