diff options
Diffstat (limited to 'public')
-rw-r--r-- | public/index.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/public/index.php b/public/index.php index 02d355e..9c54b9c 100644 --- a/public/index.php +++ b/public/index.php @@ -23,7 +23,10 @@ APPLICATION_PATH . '/configs/application.ini' ); // Set Session lifetime -Zend_Session::setOptions(array('cookie_lifetime' => '3600')); +if(stristr($_SERVER['HTTP_USER_AGENT'],'prebootGUI')) + Zend_Session::setOptions(array('cookie_lifetime' => '3600')); +else + Zend_Session::setOptions(array('cookie_lifetime' => null)); // Run bootstrap $application->bootstrap() |