From 06844b49f4e7c740bac186f5a767a0195bbb4908 Mon Sep 17 00:00:00 2001
From: mjollnir_ <mjollnir_>
Date: Tue, 16 Sep 2008 18:17:28 +0000
Subject: [PATCH] MDL-16535 - better handling of the expired error

---
 lib/portfolio/exporter.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/portfolio/exporter.php b/lib/portfolio/exporter.php
index d7663874c9ff5..5465ef1f000b9 100644
--- a/lib/portfolio/exporter.php
+++ b/lib/portfolio/exporter.php
@@ -766,9 +766,11 @@ public function get_base_filearea() {
     * through the usage of the backbutton
     */
     public static function print_expired_export() {
+        global $CFG;
         $title = get_string('exportexpired', 'portfolio');
-        print_header($title, $title);
+        print_header($title, $title, build_navigation(get_string('exportexpired', 'portfolio')));
         notify(get_string('exportexpireddesc', 'portfolio'));
+        print_continue($CFG->wwwroot);
         print_footer();
         exit;
     }