diff options
author | Roeland Jago Douma <roeland@famdouma.nl> | 2020-07-13 13:30:51 +0300 |
---|---|---|
committer | backportbot[bot] <backportbot[bot]@users.noreply.github.com> | 2020-07-13 13:58:14 +0300 |
commit | c8236993f4bf3ae6369c0a436fc0b61e5f53b678 (patch) | |
tree | 2d93b74899bc59cf77a9161718728b214daeb223 | |
parent | 3e834da3cf99205b82da67b70be3654d2dde9b42 (diff) |
Also check for internet on delete push
Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
-rw-r--r-- | lib/Push.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Push.php b/lib/Push.php index 67241e0..d6b9b12 100644 --- a/lib/Push.php +++ b/lib/Push.php @@ -201,6 +201,10 @@ class Push { } public function pushDeleteToDevice(string $userId, int $notificationId): void { + if (!$this->config->getSystemValueBool('has_internet_connection', true)) { + return; + } + $user = $this->userManager->get($userId); if (!($user instanceof IUser)) { return; |