Take out another notice in backup.

diff --git a/backup/backuplib.php b/backup/backuplib.php
index 33968ff92601961a5aa29b22d5d7acc131e9726e..1cd3f48940b3517c0116aa6b8126a44987480486 100644 (file)
--- a/backup/backuplib.php
+++ b/backup/backuplib.php
@@ -88,7 +88,7 @@
                     $backupable_user->info .= "student";
                 }
                 //Is needed user (exists in needed_users) 
-                if ($needed_users[$backupable_user->id]) {
+                if (isset($needed_users[$backupable_user->id])) {
                     $backupable_user->info .= "needed";
                 }
                 //Now create the backup_id record