|  | f7760ab568 | Added UI elements for managing sessions | 2019-12-30 11:44:35 +00:00 |  | 
			
				
					|  | 3111185c10 | Added garbage collection for expired and defunct tokens in database. | 2019-12-10 15:57:06 +00:00 |  | 
			
				
					|  | 6f53abf521 | First draft of session management for admins | 2019-12-06 15:15:38 +00:00 |  | 
			
				
					|  | 0a5384f6a8 | Authentication failed due to case sensitive SQL-queries | 2019-03-07 19:50:04 +00:00 |  | 
			
				
					|  | 3dbb6b9932 | Implemented GUI aspect of usermanagement page TODO: add ajax-call that will update database | 2019-03-06 14:21:47 +01:00 |  | 
			
				
					|  | 958897dc0a | Implemented GUI aspect of usermanagement page TODO: add ajax-call that will update database | 2019-03-06 14:18:07 +01:00 |  | 
			
				
					|  | a049bdbd24 | Refactored template; make main content scrollable without overflow Switched to Flexbox CSS based layout
Retargeted HTML-elements for theming | 2019-03-05 11:14:17 +01:00 |  | 
			
				
					|  | efc66fc3d8 | Refactored template; make main content scrollable without overflow Switched to Flexbox CSS based layout
Removed theme-easteregg. | 2019-03-05 10:12:26 +01:00 |  | 
			
				
					|  | 1548cd4bb6 | Managementinterface retrieves data from database; Table on interface is editable; replaced library. | 2019-03-04 10:43:08 +01:00 |  | 
			
				
					|  | b5df954322 | Managementinterface retrieves data from database; Table on interface is editable; replaced library. | 2019-03-03 17:06:41 +01:00 |  | 
			
				
					|  | c8fe81d222 | Migrated IDE platform; accepting nonexisting diffs to make IDE happy | 2019-02-27 21:39:31 +01:00 |  | 
			
				
					| 
							
							
								 djpbessems | 1ffa164160 | Added placeholder management page (usermanagement, dbmanagement) | 2019-02-25 15:00:32 +01:00 |  |