From f8e6aa2d3cf86b5e69dbab8692b5ab613ea28ae0 Mon Sep 17 00:00:00 2001
From: Pierre HUBERT <pierre.git@communiquons.org>
Date: Thu, 16 May 2019 15:04:25 +0200
Subject: [PATCH] Return groups IDs as int

---
 RestControllers/WebAppController.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RestControllers/WebAppController.php b/RestControllers/WebAppController.php
index 50a38c5..40f84e7 100644
--- a/RestControllers/WebAppController.php
+++ b/RestControllers/WebAppController.php
@@ -67,7 +67,7 @@ class WebAppController {
 				$info = array_shift($groups);
 				$out[] = array(
 					"type" => $type,
-					"id" => $info["id"],
+					"id" => (int)$info["id"],
 					"last_activity" => $info["activity"]
 				);
 			}