Don't throw an error if users aren't found - just print a notice.

diff --git a/backup/restore_execute.html b/backup/restore_execute.html
index d6ab7dee2cff588d11b0539b8a23bb75829f31da..f1ba6ebeeb83ef6200520290de64b054926bff3c 100644 (file)
--- a/backup/restore_execute.html
+++ b/backup/restore_execute.html
@@ -176,8 +176,7 @@
                 echo "<li>".get_string("teachers").": ".$teacher_count;
                 echo "</ul>";
             } else {
-                notify("Something is wrong - no users were found!");
-                $status = false;
+                notify("No users were found!");
             }
         }
     }