From d98a86484af256cd2b1aaae8d7b3c41f34a43d70 Mon Sep 17 00:00:00 2001 From: Master Yoda Date: Wed, 24 Oct 2018 22:34:55 -0700 Subject: [PATCH] Fix sphinx formatting in sessions --- user_guide_src/source/libraries/sessions.rst | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/user_guide_src/source/libraries/sessions.rst b/user_guide_src/source/libraries/sessions.rst index 2bf224c21fff..cc87e40e3e18 100644 --- a/user_guide_src/source/libraries/sessions.rst +++ b/user_guide_src/source/libraries/sessions.rst @@ -457,7 +457,7 @@ Preference Default Options session ID. Setting it to 0 will disable session ID regeneration. **sessionRegenerateDestroy** FALSE TRUE/FALSE (boolean) Whether to destroy session data associated with the old session ID when auto-regenerating the session ID. When set to FALSE, the data will be later deleted by the garbage collector. -============================== =============== ======================================== ============================================================================================ +============================== ========================================= ============================================== ============================================================================================ .. note:: As a last resort, the Session library will try to fetch PHP's session related INI settings, as well as legacy CI settings such as @@ -504,7 +504,7 @@ Have it in mind though, every driver has different caveats, so be sure to get yourself familiar with them (below) before you make that choice. FileHandler Driver ------------- +------------------ The 'FileHandler' driver uses your file system for storing session data. @@ -557,7 +557,7 @@ into using `tmpfs