From 7beea78feda38a44801100c6b809600544edee7b Mon Sep 17 00:00:00 2001
From: Robin Appelman <robin@icewind.nl>
Date: Wed, 8 Jan 2020 17:01:35 +0100
Subject: [PATCH] explicit case

Fixes #2
---
 lib/Channel/SessionManager.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Channel/SessionManager.php b/lib/Channel/SessionManager.php
index e2d451b..9158ba7 100644
--- a/lib/Channel/SessionManager.php
+++ b/lib/Channel/SessionManager.php
@@ -38,7 +38,7 @@ public function getSessionCount(): int {
 
 		$query->select($query->func()->count())
 			->from('documentserver_sess');
-		return $query->execute()->fetchColumn();
+		return (int)$query->execute()->fetchColumn();
 	}
 
 	public function getSession(string $sessionId): ?Session {