267 Commits

Author	SHA1	Message	Date
Patrick Jentsch	ff837aa943	Don't use extra variable for one-time use.	2019-09-02 15:24:09 +02:00
Patrick Jentsch	d30980bfa9	Add Animations class, including pulse.	2019-09-02 15:22:26 +02:00
Patrick Jentsch	565d273dd4	Add comment and remove debug code.	2019-09-02 09:17:13 +02:00
Patrick Jentsch	7d4a1e6d37	Remove old scheduler code.	2019-08-30 14:00:08 +02:00
Patrick Jentsch	8f3c53dad2	Use JSON patch the correct way!	2019-08-30 13:31:00 +02:00
Patrick Jentsch	7702de8770	(Re)Implement live update of corpus and job lists.	2019-08-29 15:12:08 +02:00
Patrick Jentsch	98de581132	Cleanup special list classes.	2019-08-28 17:31:09 +02:00
Patrick Jentsch	9a9e3ebf73	Add socket.io.js.map to fix the client-side "not found" error	2019-08-27 09:27:40 +02:00
Patrick Jentsch	7aef3de81d	Stop polling. Use SocketIO!	2019-08-23 15:05:01 +02:00
Patrick Jentsch	9f215d7613	Add socketio javascript	2019-08-22 15:13:10 +02:00
Patrick Jentsch	a86ae5c75c	Use minimal list.js file.	2019-08-20 16:12:03 +02:00
Patrick Jentsch	5ff2ef9301	Use custom List classes for corpora and job lists.	2019-08-20 11:24:52 +02:00
Patrick Jentsch	74c863e0f7	Only handle difference of changes to the job list.	2019-08-19 17:09:01 +02:00
Patrick Jentsch	5ba08a21f4	Add jsondiffpatch.	2019-08-19 17:08:27 +02:00
Patrick Jentsch	025c51646c	Add javascript code for polling with update subscibers.	2019-08-16 14:54:29 +02:00
Patrick Jentsch	12d9ac8727	Add list.js to base template.	2019-08-08 14:28:16 +02:00
Patrick Jentsch	bc5ec9695f	Add materializecss.	2019-07-04 10:40:23 +02:00