Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						f87363ac13
					 | 
					
						
						
							
							Remove debug message.
						
						
						
						
						
						
					 | 
					
						2019-09-10 13:39:50 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stephan Porada
							
						 
					 | 
					
						
						
							
						
						8786defa01
					 | 
					
						
						
							
							Add function to change user email
						
						
						
						
						
						
					 | 
					
						2019-09-09 16:17:59 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stephan Porada
							
						 
					 | 
					
						
						
							
						
						35d126aaea
					 | 
					
						
						
							
							Make admin user list sortable part 2
						
						
						
						
						
						
					 | 
					
						2019-09-09 15:04:43 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stephan Porada
							
						 
					 | 
					
						
						
							
						
						7775954123
					 | 
					
						
						
							
							Make admin user list sortable.
						
						
						
						
						
						
					 | 
					
						2019-09-09 15:02:17 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						0f0c40951b
					 | 
					
						
						
							
							Use fix path!
						
						
						
						
						
						
					 | 
					
						2019-09-05 12:00:31 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						40809d9c7b
					 | 
					
						
						
							
							Change setting names.
						
						
						
						
						
						
					 | 
					
						2019-09-05 10:12:40 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						f2806f9473
					 | 
					
						
						
							
							Codestyle.
						
						
						
						
						
						
					 | 
					
						2019-09-04 16:00:14 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						64475afc41
					 | 
					
						
						
							
							Change file download view.
						
						
						
						
						
						
					 | 
					
						2019-09-04 14:53:23 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						bb26cba009
					 | 
					
						
						
							
							Codestyle.
						
						
						
						
						
						
					 | 
					
						2019-09-04 14:01:20 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						aa23cf04b5
					 | 
					
						
						
							
							Small restructore of the design.
						
						
						
						
						
						
					 | 
					
						2019-09-04 13:51:21 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						5952db0b4a
					 | 
					
						
						
							
							Change how the job id is obtained.
						
						
						
						
						
						
					 | 
					
						2019-09-03 16:06:15 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						4dc331b2fe
					 | 
					
						
						
							
							Add corpus page.
						
						
						
						
						
						
					 | 
					
						2019-09-03 15:58:40 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						633bd58087
					 | 
					
						
						
							
							Codestyle.
						
						
						
						
						
						
					 | 
					
						2019-09-03 09:07:09 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						b904ee1e1c
					 | 
					
						
						
							
							Change end-date value correctly.
						
						
						
						
						
						
					 | 
					
						2019-09-02 15:37:36 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						8ed7697a63
					 | 
					
						
						
							
							Add live information updates to job page.
						
						
						
						
						
						
					 | 
					
						2019-09-02 15:25:30 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						bec48e5f39
					 | 
					
						
						
							
							Fix method naming and add Animations.js to base template.
						
						
						
						
						
						
					 | 
					
						2019-09-02 15:24:39 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								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
							
						 
					 | 
					
						
						
							
						
						6ed260b065
					 | 
					
						
						
							
							Remove unused import.
						
						
						
						
						
						
					 | 
					
						2019-09-02 10:59:13 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						ade6d12eeb
					 | 
					
						
						
							
							Codestyle
						
						
						
						
						
						
					 | 
					
						2019-09-02 10:42:43 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						e658d2bbd0
					 | 
					
						
						
							
							Don't create new app instance for background tasks. Reuse the old one!
						
						
						
						
						
						
					 | 
					
						2019-09-02 10:42:28 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						565d273dd4
					 | 
					
						
						
							
							Add comment and remove debug code.
						
						
						
						
						
						
					 | 
					
						2019-09-02 09:17:13 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						6f4b9efa25
					 | 
					
						
						
							
							Add some comments and remove debug code.
						
						
						
						
						
						
					 | 
					
						2019-09-02 09:17:00 +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
							
						 
					 | 
					
						
						
							
						
						1955d3c015
					 | 
					
						
						
							
							Remove old note.
						
						
						
						
						
						
					 | 
					
						2019-08-29 12:01:09 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						876eb465b8
					 | 
					
						
						
							
							Add client side event handlers for update-* events.
						
						
						
						
						
						
					 | 
					
						2019-08-29 11:37:00 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						cf56394441
					 | 
					
						
						
							
							Remove unused imports.
						
						
						
						
						
						
					 | 
					
						2019-08-29 11:06:32 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						0d3f54d655
					 | 
					
						
						
							
							Implement JSON patches for corpus and job lists.
						
						
						
						
						
						
					 | 
					
						2019-08-29 10:42:53 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						98de581132
					 | 
					
						
						
							
							Cleanup special list classes.
						
						
						
						
						
						
					 | 
					
						2019-08-28 17:31:09 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						52bd8ec94e
					 | 
					
						
						
							
							Add background task to handle data changes for corpora and jobs via socketio.
						
						
						
						
						
						
					 | 
					
						2019-08-28 17:27:43 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						b48e74f560
					 | 
					
						
						
							
							Integrate the possibility to create a minimal app for auxillary functions.
						
						
						
						
						
						
					 | 
					
						2019-08-28 17:19:08 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						b580f9cb9f
					 | 
					
						
						
							
							Disable scheduler.
						
						
						
						
						
						
					 | 
					
						2019-08-28 09:48:10 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						d34447686b
					 | 
					
						
						
							
							Move socketio event handlers in seperate file.
						
						
						
						
						
						
					 | 
					
						2019-08-27 10:40:29 +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 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Stephan Porada
							
						 
					 | 
					
						
						
							
						
						9f011b27c3
					 | 
					
						
						
							
							Add redis message qeue
						
						
						
						
						
						
					 | 
					
						2019-08-26 14:21:06 +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
							
						 
					 | 
					
						
						
							
						
						19f60cfd0f
					 | 
					
						
						
							
							Codestyle and new python package versions.
						
						
						
						
						
						
					 | 
					
						2019-08-22 09:33:34 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						bfe28eca61
					 | 
					
						
						
							
							Add socketio.
						
						
						
						
						
						
					 | 
					
						2019-08-21 14:41:38 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						3a6fdaa24b
					 | 
					
						
						
							
							Catch more exceptions.
						
						
						
						
						
						
					 | 
					
						2019-08-21 11:40:09 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						be0241519d
					 | 
					
						
						
							
							Don't save job filtered job lists in variables. Handle service not found error.
						
						
						
						
						
						
					 | 
					
						2019-08-21 08:37:10 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						a86ae5c75c
					 | 
					
						
						
							
							Use minimal list.js file.
						
						
						
						
						
						
					 | 
					
						2019-08-20 16:12:03 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						6975076fc3
					 | 
					
						
						
							
							Remove ugly workaround for scheduler function. Now the current app_context is used, instead of creating a new app instance.
						
						
						
						
						
						
					 | 
					
						2019-08-20 15:57:58 +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
							
						 
					 | 
					
						
						
							
						
						8a49b8c871
					 | 
					
						
						
							
							Add jsondiffpatch.
						
						
						
						
						
						
					 | 
					
						2019-08-19 17:08:16 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Patrick Jentsch
							
						 
					 | 
					
						
						
							
						
						025c51646c
					 | 
					
						
						
							
							Add javascript code for polling with update subscibers.
						
						
						
						
						
						
					 | 
					
						2019-08-16 14:54:29 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |