Reload current glossary format from DB, because

the plugin system can changed it automatically.

diff --git a/mod/glossary/mod.html b/mod/glossary/mod.html
index 6d91e1bd06839ebf3e25e6f7119c11b63b7fc1e6..feb8614d81923bf232c0ee175374ef5b92afcbe8 100644 (file)
--- a/mod/glossary/mod.html
+++ b/mod/glossary/mod.html
@@ -240,6 +240,10 @@ if (!$mainglossary or $mainglossary->id == $form->instance ) {
     <?php
         //get and update available formats
         $recformats = glossary_get_available_formats();
+        //reload current format, because of it has changed (deleted format)
+        if ($currentglossary = get_record("glossary",'id',$form->id)) {
+            $form->displayformat = $currentglossary->displayformat;
+        }
     
         $formats = array();