fixed bug 1553 which gave error with empty jump menu

diff --git a/lib/weblib.php b/lib/weblib.php
index 0effc063f9638ce18d9554525222c39aa4c0d3c5..a07e6079bf58df64b50d41f16315849d146eff07 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -441,6 +441,10 @@ function popup_form ($common, $options, $formname, $selected="", $nothing="choos
 //
 
     global $CFG;
+    
+    if (empty($options)) {
+        return '';
+    }
 
     if ($nothing == "choose") {
         $nothing = get_string("choose")."...";
@@ -1821,6 +1825,7 @@ function navmenu($course, $cm=NULL, $targetwindow="self") {
     $selectmod = NULL;
     $logslink = NULL;
     $flag = false;
+    $menu = array();
 
     $sectionrecs = get_records("course_sections","course","$course->id","section","section,visible");