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 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |