Some more debugging in course/rest.php (to error log)

diff --git a/course/rest.php b/course/rest.php
index e6faa482be3b74d32a42d435b8b4a0967421cc59..4a04a1ea4ea6c1e02212aa1e3922483805942d48 100644 (file)
--- a/course/rest.php
+++ b/course/rest.php
@@ -114,6 +114,10 @@ switch($_SERVER['REQUEST_METHOD']) {
                             $beforemod = NULL;
                         }
 
+                        if (debugging('',DEBUG_DEVELOPER)) {
+                            error_log(serialize($beforemod));
+                        }
+
                         moveto_module($mod, $section, $beforemod);
                         break;
                 }