Corrected nullable device_push_id #148

2018-06-17 17:59:04 +08:00 · 2018-06-17 17:59:04 +08:00 · 899f963773
commit 899f963773
parent 59f41e5f55
1 changed files with 1 additions and 1 deletions
--- 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;