diff -r 5a6b6e770365 -r 68c69c656a2c web/lib/Zend/Session.php --- a/web/lib/Zend/Session.php Thu May 07 15:10:09 2015 +0200 +++ b/web/lib/Zend/Session.php Thu May 07 15:16:02 2015 +0200 @@ -15,9 +15,9 @@ * * @category Zend * @package Zend_Session - * @copyright Copyright (c) 2005-2012 Zend Technologies USA Inc. (http://www.zend.com) + * @copyright Copyright (c) 2005-2015 Zend Technologies USA Inc. (http://www.zend.com) * @license http://framework.zend.com/license/new-bsd New BSD License - * @version $Id: Session.php 25121 2012-11-13 21:51:23Z matthew $ + * @version $Id$ * @since Preview Release 0.2 */ @@ -43,7 +43,7 @@ * * @category Zend * @package Zend_Session - * @copyright Copyright (c) 2005-2012 Zend Technologies USA Inc. (http://www.zend.com) + * @copyright Copyright (c) 2005-2015 Zend Technologies USA Inc. (http://www.zend.com) * @license http://framework.zend.com/license/new-bsd New BSD License */ class Zend_Session extends Zend_Session_Abstract @@ -259,6 +259,7 @@ * setSaveHandler() - Session Save Handler assignment * * @param Zend_Session_SaveHandler_Interface $interface + * @throws Zend_Session_Exception When the session_set_save_handler call fails * @return void */ public static function setSaveHandler(Zend_Session_SaveHandler_Interface $saveHandler) @@ -269,7 +270,7 @@ return; } - session_set_save_handler( + $result = session_set_save_handler( array(&$saveHandler, 'open'), array(&$saveHandler, 'close'), array(&$saveHandler, 'read'), @@ -277,6 +278,10 @@ array(&$saveHandler, 'destroy'), array(&$saveHandler, 'gc') ); + + if (!$result) { + throw new Zend_Session_Exception('Unable to set session handler'); + } }