10 Commits

Author	SHA1	Message	Date
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