|
|
7f4043cdec
|
Push service release version 1
|
2020-07-27 23:42:12 +02:00 |
|
|
|
a8b2a43216
|
Rework push server so it holds the subscriptions in a DB
|
2020-07-27 23:22:32 +02:00 |
|
|
|
3ad259651c
|
Stuff all over the place
|
2020-07-23 23:47:12 +02:00 |
|
|
|
f59ece1fc0
|
Fix groupId and move javascript resources to static/ folder to enable
serving by hosting application
|
2020-07-21 23:25:14 +02:00 |
|
|
|
604cdd04b0
|
Initial commit for push service
|
2020-07-21 22:55:29 +02:00 |
|
