S7evinK 49dc49b232 Remove eduserver (#2306) ... * Move receipt sending to own JetStream producer * Move SendToDevice to producer * Remove most parts of the EDU server * Fix SendToDevice & copyrights * Move structs, cleanup EDU Server traces * Use HeadersOnly subscription * Missing file * Fix linter issues * Move consumers to own files * Rename durable consumer; Consumer cleanup * Docs/config cleanup		2022-03-29 14:14:35 +02:00
..
personalities	Remove eduserver (#2306)	2022-03-29 14:14:35 +02:00
main.go	Remove eduserver (#2306)	2022-03-29 14:14:35 +02:00