dev #141983 on Zend_Session start error, automatically reload the page

d521f431 · Laurent · 5749c0d5 · d521f431 · d521f431
Commit d521f431 authored 3 years ago by Laurent
--- a/VERSIONS_WIP/141983
+++ b/VERSIONS_WIP/141983
+ - ticket #141983 : Rechargement automatique de la page lorsque la session n'a pu être ouverte
\ No newline at end of file
--- a/library/startup.php
+++ b/library/startup.php
@@ -202,14 +202,30 @@ class Bokeh_Engine {


  function setupSession() {
-    // Start Session
-    $session = new Zend_Session_Namespace(md5(BASE_URL));
-    if (!isset($session->initialized))
-      {
-        Zend_Session::regenerateId();
-        $session->initialized = true;
-      }
-    if (!isset($session->baseUrl)) $session->baseUrl = BASE_URL;
+    try {
+      $session = new Zend_Session_Namespace(md5(BASE_URL));
+    } catch (Zend_Session_Exception $e) {
+      header('HTTP/1.1 503 Service Unavailable');
+      echo '<html>'
+           . '<body style="text-align:center">'
+           .   '<img src="' . URL_SHARED_IMG . '/patience.gif' . '" />'
+           .   'Attente de connexion...'
+           .   '<script>'
+           .     'setTimeout(() => window.location.reload(),5000);'
+           .   '</script>'
+           . '</body>'
+           .'</html>';
+      exit();
+    }
+
+    if (!isset($session->initialized)) {
+      Zend_Session::regenerateId();
+      $session->initialized = true;
+    }
+
+    if (!isset($session->baseUrl))
+      $session->baseUrl = BASE_URL;
+
    Zend_Registry::set('session', $session);
    return $this;
  }