From 59f41e5f555ea5b759e0e069589add314f59dd02 Mon Sep 17 00:00:00 2001 From: Kendrick Chan Date: Sun, 17 Jun 2018 17:57:48 +0800 Subject: [PATCH 1/2] Allow null values in device_push_id #148 --- src/Entity/MobileSession.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Entity/MobileSession.php b/src/Entity/MobileSession.php index f81578e2..70df5a81 100644 --- a/src/Entity/MobileSession.php +++ b/src/Entity/MobileSession.php @@ -44,7 +44,7 @@ class MobileSession // phone id /** - * @ORM\Column(type="string", length=50) + * @ORM\Column(type="string", length=50, nullable=true) */ protected $phone_id; From 899f9637730090c2411bedef4044cfc28a8cb4a0 Mon Sep 17 00:00:00 2001 From: Kendrick Chan Date: Sun, 17 Jun 2018 17:59:04 +0800 Subject: [PATCH 2/2] Corrected nullable device_push_id #148 --- src/Entity/MobileSession.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Entity/MobileSession.php b/src/Entity/MobileSession.php index 70df5a81..831d14fd 100644 --- a/src/Entity/MobileSession.php +++ b/src/Entity/MobileSession.php @@ -38,7 +38,7 @@ class MobileSession // device id or push id used by device /** - * @ORM\Column(type="string", length=200) + * @ORM\Column(type="string", length=200, nullable=true) */ protected $device_push_id;