From d5927e4d0173530139d2a76e433e024ca4866de5 Mon Sep 17 00:00:00 2001
From: Christoph Wurst <christoph@winzerhof-wurst.at>
Date: Tue, 15 Jan 2019 14:36:03 +0100
Subject: [PATCH] Fix integer background job id type error

Signed-off-by: Christoph Wurst <christoph@winzerhof-wurst.at>
---
 lib/private/BackgroundJob/JobList.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/private/BackgroundJob/JobList.php b/lib/private/BackgroundJob/JobList.php
index e890c35868..44b6786841 100644
--- a/lib/private/BackgroundJob/JobList.php
+++ b/lib/private/BackgroundJob/JobList.php
@@ -273,7 +273,7 @@ class JobList implements IJobList {
 				}
 			}
 
-			$job->setId($row['id']);
+			$job->setId((int) $row['id']);
 			$job->setLastRun($row['last_run']);
 			$job->setArgument(json_decode($row['argument'], true));
 			return $job;