Another Fallback for missing users in notification #121

Author: cbadusch

classes/game_control.php

@@ -924,7 +924,9 @@ public function gather_notifcation_data(string $messagetype) {
                 $recepientid = $playerb->id;
                 break;
         }
-
+        if ($recepientid == null) {
+            return null;
+        }
         $tokens = $this->return_push_tokens_of_user($recepientid);
 
         if (!$tokens || count($tokens) === 0) {