Avoid notice...

diff --git a/mod/resource/type/ims/resource.class.php b/mod/resource/type/ims/resource.class.php
index b1c9ce0b4aec467ad43e1f4de99d3097bad5d79e..a56f3286480705de0c2e37d02af6cff2c8c298eb 100644 (file)
--- a/mod/resource/type/ims/resource.class.php
+++ b/mod/resource/type/ims/resource.class.php
@@ -487,7 +487,7 @@ class resource_ims extends resource_base {
         /// Now, let's print the footer. It's harcoded here to save some space
         /// because it's impossible to use print_footer() to print NOTHING
         /// Added programatic support to customcorners themes.
-            if ($THEME->customcorners) {
+            if (!empty($THEME->customcorners)) {
                 print_custom_corners_end();
             }
             echo '</div></div></body></html>'; /// Close everything.