Don't save empty comments

diff --git a/mod/data/comment.php b/mod/data/comment.php
index a04d97720fc03502961304083d81a1c2c2e54c54..594caaf20f6bd339c7580e141fbe58d270831da2 100755 (executable)
--- a/mod/data/comment.php
+++ b/mod/data/comment.php
@@ -39,6 +39,11 @@
         }
     }
 
+    $commentcontent = trim($commentcontent);
+    if (empty($commentcontent)) {
+        redirect('view.php?rid='.$record->id.'&page='.$page, get_string('commentempty', 'data'));
+    }
+
     switch ($mode) {
         case 'add':
             $newcomment = new object;