MDL-13605 use userdate() instead of date() when printing next cron execution time; merged from MOODLE_19_STABLE

2008-02-24 13:29:55 +00:00
parent 4ea8df2173
commit 5a4b2e8ead
1 changed files with 1 additions and 1 deletions
@@ -445,7 +445,7 @@
            }
            @set_time_limit(0);
        } else {
-            mtrace('Next stats run after:'. date($timetocheck));
+            mtrace('Next stats run after:'. userdate($timetocheck));
        }
    }